Searched refs:StFalse (Results 1 – 4 of 4) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 68 ProgramStateRef StFalse = Assume(false); in assumeDualImpl() local
69 if (LLVM_UNLIKELY(!StFalse)) { // both infeasible in assumeDualImpl()
81 return ProgramStatePair(nullptr, StFalse); in assumeDualImpl()
84 ProgramStateRef StFalse = Assume(false); in assumeDualImpl() local
85 if (!StFalse) { in assumeDualImpl()
89 return ProgramStatePair(StTrue, StFalse); in assumeDualImpl()
|
| H A D | CheckerContext.cpp | 142 ProgramStateRef StTrue, StFalse; in evalComparison() local
143 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
144 return StTrue && !StFalse; in evalComparison()
|
| H A D | ExprEngine.cpp | 2719 ProgramStateRef StTrue, StFalse; in assumeCondition() local
2765 ProgramStateRef StTrue, StFalse; in processBranch() local
2767 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch()
2774 if (StTrue && StFalse) in processBranch()
2787 if (StFalse) in processBranch()
2788 builder.generateNode(StFalse, false, PredN); in processBranch()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| 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()
|