pointer_offset_from_subtraction_2_global.c:5:[eva:garbled-mix:write] warning: Assigning imprecise value to offsetxy
because of arithmetic operation on addresses.
stack: main
pointer_offset_from_subtraction_2_global.c:8:[eva:garbled-mix:write] warning: Assigning imprecise value to offsetzw
because of arithmetic operation on addresses.
stack: main
[eva:garbled-mix:summary] warning: Origins of garbled mix generated during analysis:
  pointer_offset_from_subtraction_2_global.c:8: arithmetic operation on addresses
    (read in 4 statements, propagated through 3 statements)
    garbled mix of &{w; z; x}
  pointer_offset_from_subtraction_2_global.c:5: arithmetic operation on addresses
    (read in 2 statements, propagated through 4 statements)
    garbled mix of &{w; z; y; x}