HomeSort by relevance Sort by last modified time
    Searched refs:ProgramStatePair (Results 1 - 2 of 2) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
  /external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 33 const ProgramStatePair &P = assumeDual(State, V);

Completed in 1533 milliseconds