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