Searched refs:StTrue (Results 1 – 5 of 5) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 65 ProgramStateRef StTrue = Assume(true); in assumeDualImpl() local
67 if (!StTrue) { in assumeDualImpl()
86 return ProgramStatePair(StTrue, nullptr); 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 | 2396 ProgramStateRef StTrue, StFalse; in assumeCondition() local
2442 ProgramStateRef StTrue, StFalse; in processBranch() local
2444 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch()
2451 if (StTrue && StFalse) in processBranch()
2456 if (StTrue) in processBranch()
2457 builder.generateNode(StTrue, true, PredN); in processBranch()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | FalsePositiveRefutationBRVisitorTest.cpp | 72 ProgramStateRef StTrue; in reportIfCanBeTrue() local
73 std::tie(StTrue, std::ignore) = in reportIfCanBeTrue()
75 if (StTrue) in reportIfCanBeTrue()
76 return report(C, StTrue, "CAN_BE_TRUE"); in reportIfCanBeTrue()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ExprInspectionChecker.cpp | 146 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local
147 std::tie(StTrue, StFalse) = in getArgumentValueString()
150 if (StTrue) { in getArgumentValueString()
|