Warn if there is a label or a call instruction between the definition of a reference that depends on ap and its usage. This is ambiguous as discussed in the docs, since ap might change in an unknown way. We could potentially add a detector and flag it as undefined behavior.
Warn if there is a label or a call instruction between the definition of a reference that depends on
ap
and its usage. This is ambiguous as discussed in the docs, sinceap
might change in an unknown way. We could potentially add a detector and flag it as undefined behavior.