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