Searched refs:StFalse (Results 1 – 4 of 4) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 157 ProgramStateRef StTrue, StFalse; in evalComparison() local
158 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
159 return StTrue && !StFalse; in evalComparison()
|
| H A D | ExprEngine.cpp | 2809 ProgramStateRef StTrue, StFalse; in assumeCondition() local
2850 ProgramStateRef StTrue = PrevState, StFalse = PrevState; in processBranch() local
2852 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch()
2854 if (StTrue && StFalse) in processBranch()
2865 (StTrue && StFalse) || in processBranch()
2916 if (StFalse) { in processBranch()
2933 Builder.generateNode(StFalse, false, PredN); in processBranch()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BitwiseShiftChecker.cpp | 148 auto [StTrue, StFalse] = FoldedState->assume(DURes.value()); in assumeRequirement()
151 FoldedState = StFalse; in assumeRequirement()
156 if (StFalse) { in assumeRequirement()
|
| H A D | ExprInspectionChecker.cpp | 148 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local
149 std::tie(StTrue, StFalse) = in getArgumentValueString()
153 if (StFalse) in getArgumentValueString()
158 if (StFalse) in getArgumentValueString()
|