Searched refs:ConditionVal (Results 1 – 4 of 4) sorted by relevance
52 SourceRange ConditionVal, SourceRange R1,
519 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison() local520 if (!ConditionVal) in processComparison()524 StateTrue = StateTrue->assume(*ConditionVal, true); in processComparison()529 StateFalse = StateFalse->assume(*ConditionVal, false); in processComparison()
1413 APInt ConditionVal(1, isTrueDest ? 1 : 0); in getEdgeValueLocal() local1414 Result = constantFoldUser(Usr, Condition, ConditionVal, DL); in getEdgeValueLocal()
5160 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors() local5161 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()5165 bothKnownTrue(Context.KnownExecuted, ConditionVal)); in VisitConditionalOperatorForTemporaryDtors()