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