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}