warnings.log

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