9#ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEINFO_H
10#define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEINFO_H
24 : DynTy(Ty), CanBeASubClass(CanBeSub) {}
39 return DynTy == RHS.DynTy && CanBeASubClass == RHS.CanBeASubClass;
44 ID.AddBoolean(CanBeASubClass);
C Language Family Type Representation.
A (possibly-)qualified type.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Stores the currently inferred strictest bound on the runtime type of a region in a given state along ...
bool operator==(const DynamicTypeInfo &RHS) const
void Profile(llvm::FoldingSetNodeID &ID) const
bool canBeASubClass() const
Returns false if the type information is precise (the type 'DynTy' is the only type in the lattice),...
QualType getType() const
Returns the currently inferred upper bound on the runtime type.
bool isValid() const
Returns true if the dynamic type info is available.
DynamicTypeInfo(QualType Ty, bool CanBeSub=true)
The JSON file list parser is used to communicate input to InstallAPI.