Predicate MakeUtils::backEdge

Holds if inp is an input to phi along a back edge.

Import path

import codeql.rangeanalysis.internal.RangeUtils

predicate backEdge(SsaPhiNode phi, SsaVariable inp, SsaReadPositionPhiInputEdge edge)