Predicate Make :: phiHasInputFromBlock
NB: If this predicate is exposed, it should be cached.
Holds if inp
is an input to the phi node phi
along the edge originating in bb
.
Import path
import codeql.ssa.Ssa
predicate
phiHasInputFromBlock
(
PhiNode
phi
,
Definition
inp
,
BasicBlock
bb
)