9 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEINFO_H 10 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEINFO_H 24 : DynTy(Ty), CanBeASubClass(CanBeSub) {}
37 return DynTy == RHS.DynTy && CanBeASubClass == RHS.CanBeASubClass;
42 ID.AddBoolean(CanBeASubClass);
53 #endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEINFO_H
A (possibly-)qualified type.
C Language Family Type Representation.
bool isValid() const
Returns true if the dynamic type info is available.
DynamicTypeInfo(QualType Ty, 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 'DynTy' 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.
void Profile(llvm::FoldingSetNodeID &ID) const
bool operator==(const DynamicTypeInfo &RHS) const