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