return '(p + offset)' for pointer arithmetic (a pointer can reach the end of a region in this case */
source not stored for this graph (policy: none)
no test coverage detected