Member predicate ControlFlowReachabilityConfiguration::hasDefPath
Holds if there is a control-flow path from cfn
to cfnDef
, where cfn
is a
control-flow node for e
and cfnDef
is a control-flow node for def
.
predicate hasDefPath(Expr e, Node cfn, AssignableDefinition def, Node cfnDef)