Searched refs:ProgramStatePair (Results 1 - 2 of 2) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair; typedef in class:clang::ento::ConstraintManager
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)NULL, State);
96 return ProgramStatePair(State, (ProgramStateRef)NULL);
99 return ProgramStatePair(StTrue, StFalse);
/external/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp33 const ProgramStatePair &P = assumeDual(State, V);

Completed in 119 milliseconds