21 using namespace clang;
29 State->getStateManager().getRegionManager().getSymbolicRegion(Sym);
30 return loc::MemRegionVal(R);
39 if (P.first && !P.second)
41 if (!P.first && P.second)
A (possibly-)qualified type.
const SymExpr * SymbolRef
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()
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