Predicate signature TypeTracking::ConsistencyChecksInputSig::nonSourceStoreTargetExclude
Holds if n
should be excluded from the consistency test nonSourceStoreTarget
.
signature predicate nonSourceStoreTargetExclude(Node n)
Holds if n
should be excluded from the consistency test nonSourceStoreTarget
.
signature predicate nonSourceStoreTargetExclude(Node n)