16 using namespace clang;
23 const MemRegion *R = State->getStateManager().getRegionManager()
24 .getSymbolicRegion(Sym);
34 if (P.first && !P.second)
36 if (!P.first && P.second)
A (possibly-)qualified type.
MemRegion - The root abstract class for all memory regions.
virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym)
Returns whether or not a symbol is known to be null ("true"), known to be non-null ("false")...
virtual ~ConstraintManager()
static bool isLocType(QualType T)
virtual QualType getType() const =0
ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond)
Returns a pair of states (StTrue, StFalse) where the given condition is assumed to be true or false...
static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, SymbolRef Sym)
std::pair< ProgramStateRef, ProgramStateRef > ProgramStatePair
Represents symbolic expression.