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