Newer
Older
pointer_arith_algebraic_properties_1_global.c:6:[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_1_global.c:6: arithmetic operation on addresses
(read in 1 statement, propagated through 1 statement)
garbled mix of &{y; x}