Searched refs:ConditionVal (Results 1 – 4 of 4) sorted by relevance
52 SourceRange ConditionVal, SourceRange R1,
518 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison() local519 if (!ConditionVal) in processComparison()523 StateTrue = StateTrue->assume(*ConditionVal, true); in processComparison()528 StateFalse = StateFalse->assume(*ConditionVal, false); in processComparison()
1404 APInt ConditionVal(1, isTrueDest ? 1 : 0); in getEdgeValueLocal() local1405 Result = constantFoldUser(Usr, Condition, ConditionVal, DL); in getEdgeValueLocal()
5163 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors() local5164 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()5168 bothKnownTrue(Context.KnownExecuted, ConditionVal)); in VisitConditionalOperatorForTemporaryDtors()