20 using namespace clang;
28 State->getStateManager().getRegionManager().getSymbolicRegion(Sym);
29 return loc::MemRegionVal(R);
38 if (P.first && !P.second)
40 if (!P.first && P.second)
A (possibly-)qualified type.
C Language Family Type Representation.
IntrusiveRefCntPtr< const ProgramState > ProgramStateRef
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()
const SymExpr * SymbolRef
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)
Dataflow Directional Tag Classes.
Represents symbolic expression that isn't a location.
std::pair< ProgramStateRef, ProgramStateRef > ProgramStatePair