Searched refs:ConditionVal (Results 1 – 4 of 4) sorted by relevance
53 SourceRange ConditionVal,
522 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison() local523 if (!ConditionVal) in processComparison()527 StateTrue = StateTrue->assume(*ConditionVal, true); in processComparison()532 StateFalse = StateFalse->assume(*ConditionVal, false); in processComparison()
1363 APInt ConditionVal(1, isTrueDest ? 1 : 0); in getEdgeValueLocal() local1364 Result = constantFoldUser(Usr, Condition, ConditionVal, DL); in getEdgeValueLocal()
5154 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors() local5155 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()5159 bothKnownTrue(Context.KnownExecuted, ConditionVal)); in VisitConditionalOperatorForTemporaryDtors()