31 if (
const TypedRegion *TR = dyn_cast<TypedRegion>(Reg))
MemRegion - The root abstract class for all memory regions.
The GDM component containing the dynamic type info.
virtual QualType getType() const =0
SymbolicRegion - A special, "non-concrete" region.
Stores the currently inferred strictest bound on the runtime type of a region in a given state along ...
ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg, DynamicTypeInfo NewTy)
Set dynamic type information of the region; return the new state.
const MemRegion * StripCasts(bool StripBaseCasts=true) const
Dataflow Directional Tag Classes.
DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg)
Get dynamic type information for a region.
TypedRegion - An abstract class representing regions that are typed.