Newer
Older
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)
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}