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