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