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