Searched refs:KnownCondValueAssumption (Results 1 – 1 of 1) sorted by relevance
2797 if (const auto KnownCondValueAssumption = assumeCondition(Condition, PredN)) in processBranch() local2798 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch()