Predicate Make::TestAdjacentRefs::adjacentRefPhi
Holds if phi is a phi definition or phi read and input is one its
inputs without any other reference in-between.
Import path
import codeql.ssa.Ssapredicate adjacentRefPhi(Ref input, Ref phi)Holds if phi is a phi definition or phi read and input is one its
inputs without any other reference in-between.
import codeql.ssa.Ssapredicate adjacentRefPhi(Ref input, Ref phi)