Member predicate DataFlow::Configuration::isAdditionalLoadStoreStep
EXPERIMENTAL. This API may change in the future.
Holds if the property loadProp
should be copied from the object pred
to the property storeProp
of object succ
.
predicate isAdditionalLoadStoreStep(Node pred, Node succ, string loadProp, string storeProp)