Searched refs:StTrue (Results 1 - 4 of 4) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 91 /// Returns a pair of states (StTrue, StFalse) where the given condition is
94 ProgramStateRef StTrue = assume(State, Cond, true); local
96 // If StTrue is infeasible, asserting the falseness of Cond is unnecessary
98 if (!StTrue) {
111 // We are careful to return the original state, /not/ StTrue,
117 return ProgramStatePair(StTrue, StFalse);
133 // If StTrue is infeasible, asserting the falseness of Cond is unnecessary
141 // We are careful to return the original state, /not/ StTrue,
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 118 ProgramStateRef StTrue, StFalse;
119 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>());
120 return StTrue && !StFalse;
|
| H A D | ExprEngine.cpp | 2171 ProgramStateRef StTrue, StFalse; local
2172 std::tie(StTrue, StFalse) = PrevState->assume(V);
2176 if (StTrue)
2177 builder.generateNode(StTrue, true, PredI);
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ExprInspectionChecker.cpp | 118 ProgramStateRef StTrue, StFalse;
119 std::tie(StTrue, StFalse) =
122 if (StTrue) {
|
Completed in 75 milliseconds