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