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