Searched refs:StFalse (Results 1 – 4 of 4) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| 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()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerContext.cpp | 122 ProgramStateRef StTrue, StFalse; in evalComparison() local
123 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
124 return StTrue && !StFalse; in evalComparison()
|
| D | ExprEngine.cpp | 2212 ProgramStateRef StTrue, StFalse; in assumeCondition() local
2258 ProgramStateRef StTrue, StFalse; in processBranch() local
2260 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch()
2267 if (StTrue && StFalse) in processBranch()
2280 if (StFalse) in processBranch()
2281 builder.generateNode(StFalse, false, PredN); in processBranch()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| 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()
|