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