Predicate fromPhiNode
Holds if nodeTo receives flow from the phi node nodeFrom.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate fromPhiNode(SsaPhiNode nodeFrom, Node nodeTo)Holds if nodeTo receives flow from the phi node nodeFrom.
import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate fromPhiNode(SsaPhiNode nodeFrom, Node nodeTo)