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