CodeQL library for C/C++
codeql/cpp-all 0.9.3 ( changelog , source )

Predicate Make :: phiHasInputFromBlock

NB: If this predicate is exposed, it should be cached.

Holds if inp is an input to the phi node phi along the edge originating in bb.

Import path

import codeql.ssa.Ssa
predicate phiHasInputFromBlock ( PhiNode phi , Definition inp , BasicBlock bb )