Predicate edges
Holds if the output graph contains an edge from pred
to succ
, and that edge’s property key
has the given value
.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.PrintIR
predicate
edges
(
PrintableIRBlock
pred
,
PrintableIRBlock
succ
,
string
key
,
string
value
)