Searched refs:StFalse (Results 1 – 4 of 4) sorted by relevance
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 105 ProgramStateRef StFalse = assume(State, Cond, false); in assumeDual() local 106 if (!StFalse) { in assumeDual() 113 return ProgramStatePair(StTrue, StFalse); in assumeDual()
|
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
H A D | CheckerContext.cpp | 118 ProgramStateRef StTrue, StFalse; in evalComparison() local 119 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison() 120 return StTrue && !StFalse; in evalComparison()
|
H A D | ExprEngine.cpp | 2210 ProgramStateRef StTrue, StFalse; in assumeCondition() local 2256 ProgramStateRef StTrue, StFalse; in processBranch() local 2258 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch() 2265 if (StTrue && StFalse) in processBranch() 2278 if (StFalse) in processBranch() 2279 builder.generateNode(StFalse, false, PredN); in processBranch()
|
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ExprInspectionChecker.cpp | 140 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local 141 std::tie(StTrue, StFalse) = in getArgumentValueString() 145 if (StFalse) in getArgumentValueString() 150 if (StFalse) in getArgumentValueString()
|