Searched refs:StTrue (Results 1 - 5 of 5) sorted by relevance
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 65 ProgramStateRef StTrue = Assume(true); local
67 if (!StTrue) {
86 return ProgramStatePair(StTrue, nullptr);
89 return ProgramStatePair(StTrue, StFalse);
|
| H A D | CheckerContext.cpp | 144 ProgramStateRef StTrue, StFalse;
145 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>());
146 return StTrue && !StFalse;
|
| H A D | ExprEngine.cpp | 2738 ProgramStateRef StTrue, StFalse; local
2784 ProgramStateRef StTrue, StFalse; local
2786 std::tie(StTrue, StFalse) = *KnownCondValueAssumption;
2793 if (StTrue && StFalse)
2798 if (StTrue)
2799 builder.generateNode(StTrue, true, PredN);
|
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BitwiseShiftChecker.cpp | 150 auto [StTrue, StFalse] = FoldedState->assume(DURes.value());
151 if (!StTrue) {
157 FoldedState = StTrue;
|
| H A D | ExprInspectionChecker.cpp | 148 ProgramStateRef StTrue, StFalse;
149 std::tie(StTrue, StFalse) =
152 if (StTrue) {
|
Completed in 65 milliseconds