9 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEINFO_H
10 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEINFO_H
28 : T(WithType), CanBeASubClass(CanBeSub) {}
42 ID.AddInteger((
unsigned)CanBeASubClass);
45 return T == X.T && CanBeASubClass == X.CanBeASubClass;
A (possibly-)qualified type.
bool canBeASubClass() const
Returns false if the type information is precise (the type T is the only type in the lattice)...
C Language Family Type Representation.
DynamicTypeInfo(QualType WithType, bool CanBeSub=true)
void Profile(llvm::FoldingSetNodeID &ID) const
Stores the currently inferred strictest bound on the runtime type of a region in a given state along ...
QualType getType() const
Returns the currently inferred upper bound on the runtime type.
bool operator==(const DynamicTypeInfo &X) const
bool isValid() const
Return false if no dynamic type info is available.
X
Add a minimal nested name specifier fixit hint to allow lookup of a tag name from an outer enclosing ...
bool isNull() const
Return true if this QualType doesn't point to a type yet.