Searched refs:StTrue (Results 1 – 3 of 3) 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 | 2750 ProgramStateRef StTrue, StFalse; in assumeCondition() local
2796 ProgramStateRef StTrue, StFalse; in processBranch() local
2798 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch()
2805 if (StTrue && StFalse) in processBranch()
2810 if (StTrue) in processBranch()
2811 builder.generateNode(StTrue, true, PredN); in processBranch()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ReturnValueChecker.cpp | 84 if (ProgramStateRef StTrue = State->assume(*ReturnV, true)) { in checkPostCall() local
88 C.addTransition(StTrue, C.getNoteTag(Msg, /*IsPrunable=*/true)); in checkPostCall()
|