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 operator==(const DynamicTypeInfo &X) const
C Language Family Type Representation.
bool isValid() const
Return false if no dynamic type info is available.
DynamicTypeInfo(QualType WithType, bool CanBeSub=true)
QualType getType() const
Returns the currently inferred upper bound on the runtime type.
bool canBeASubClass() const
Returns false if the type information is precise (the type T is the only type in the lattice)...
Stores the currently inferred strictest bound on the runtime type of a region in a given state along ...
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Dataflow Directional Tag Classes.
X
Add a minimal nested name specifier fixit hint to allow lookup of a tag name from an outer enclosing ...
void Profile(llvm::FoldingSetNodeID &ID) const