Searched refs:StTrue (Results 1 – 5 of 5) sorted by relevance
/freebsd/contrib/llvm-project/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 | 144 ProgramStateRef StTrue, StFalse; in evalComparison() local 145 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison() 146 return StTrue && !StFalse; in evalComparison()
|
H A D | ExprEngine.cpp | 2738 ProgramStateRef StTrue, StFalse; in assumeCondition() local 2784 ProgramStateRef StTrue, StFalse; in processBranch() local 2786 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch() 2793 if (StTrue && StFalse) in processBranch() 2798 if (StTrue) in processBranch() 2799 builder.generateNode(StTrue, true, PredN); in processBranch()
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BitwiseShiftChecker.cpp | 150 auto [StTrue, StFalse] = FoldedState->assume(DURes.value()); in assumeRequirement() 151 if (!StTrue) { in assumeRequirement() 157 FoldedState = StTrue; in assumeRequirement()
|
H A D | ExprInspectionChecker.cpp | 148 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local 149 std::tie(StTrue, StFalse) = in getArgumentValueString() 152 if (StTrue) { in getArgumentValueString()
|