Holds if a phi node for v is needed at the beginning of basic block b.
Import path
import semmle.code.java.dataflow.internal.BaseSSApredicate phiNode(BaseSsaSourceVariable v, BasicBlock b)Holds if a phi node for v is needed at the beginning of basic block b.
import semmle.code.java.dataflow.internal.BaseSSApredicate phiNode(BaseSsaSourceVariable v, BasicBlock b)