Predicate Cached::phiHasInputFromBlock
Import path
import semmle.code.java.dataflow.internal.SsaImpl
predicate phiHasInputFromBlock(PhiNode phi, Definition inp, BasicBlock bb)
import semmle.code.java.dataflow.internal.SsaImpl
predicate phiHasInputFromBlock(PhiNode phi, Definition inp, BasicBlock bb)