Searched refs:StTrue (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 | 94 ProgramStateRef StTrue = assume(State, Cond, true); in assumeDual() local
98 if (!StTrue) { 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()
2270 if (StTrue) in processBranch()
2271 builder.generateNode(StTrue, true, 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()
144 if (StTrue) { in getArgumentValueString()
|