llvm::AAInstanceInfo::isKnownUniqueForAnalysis

Return true if the underlying value is known unique for analysis.

Synopsis

Declared in <llvm/Transforms/IPO/Attributor.h>

bool
isKnownUniqueForAnalysis() const;

Description

That means it might not be unique but we can still use pointer equality without risking to represent two distinct instances.

Return Value

True if the underlying value is known unique for analysis.