Searched refs:ToInject (Results 1 – 1 of 1) sorted by relevance
3173 InjectedInvariant ToInject(NonStrictPred, LHS, RHS, InLoopSucc); in insertCandidatesWithPendingInjections() local3175 std::nullopt, std::move(ToInject)); in insertCandidatesWithPendingInjections()