For any read of the input stack pointer by a non-additive p-code op, assume this constitutes a a zero offset reference into the stack frame. Replace the raw Varnode with the standard spacebase placeholder, PTRSUB(sp,#0), so that the data-type system can treat it as a reference.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected