Predicate signature InputSig::validParameterAliasStep
Holds if the data-flow step from node1
to node2
can be used to
determine where side-effects may return from a callable.
signature predicate validParameterAliasStep(Node node1, Node node2)
Holds if the data-flow step from node1
to node2
can be used to
determine where side-effects may return from a callable.
signature predicate validParameterAliasStep(Node node1, Node node2)