HomeSort by: relevance | last modified time | path
    Searched refs:StFalse (Results 1 - 4 of 4) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 91 /// Returns a pair of states (StTrue, StFalse) where the given condition is
105 ProgramStateRef StFalse = assume(State, Cond, false);
106 if (!StFalse) {
113 return ProgramStatePair(StTrue, StFalse);
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
CheckerContext.cpp 118 ProgramStateRef StTrue, StFalse;
119 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>());
120 return StTrue && !StFalse;
ExprEngine.cpp 2210 ProgramStateRef StTrue, StFalse;
2256 ProgramStateRef StTrue, StFalse;
2258 std::tie(StTrue, StFalse) = *KnownCondValueAssumption;
2265 if (StTrue && StFalse)
2278 if (StFalse)
2279 builder.generateNode(StFalse, false, PredN);
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
ExprInspectionChecker.cpp 140 ProgramStateRef StTrue, StFalse;
141 std::tie(StTrue, StFalse) =
145 if (StFalse)
150 if (StFalse)

Completed in 18 milliseconds