pointer_offset_from_subtraction_1_auto.c:6:[eva:garbled-mix:assigns] warning: The specification of function printf_va_1 has generated a garbled mix for assigns clause __fc_stdout->__fc_FILE_data.
pointer_offset_from_subtraction_1_auto.c:12:[eva:garbled-mix:assigns] warning: The specification of function printf_va_2 has generated a garbled mix for assigns clause __fc_stdout->__fc_FILE_data.
[eva:garbled-mix:summary] warning: Garbled mix generated during analysis:
{{ garbled mix of &{x}
  (origin: Arithmetic {pointer_offset_from_subtraction_1_auto.c:5}) }}
{{ garbled mix of &{y}
  (origin: Arithmetic {pointer_offset_from_subtraction_1_auto.c:5}) }}
{{ garbled mix of &{x}
  (origin: Arithmetic {pointer_offset_from_subtraction_1_auto.c:8}) }}
{{ garbled mix of &{y}
  (origin: Misaligned {pointer_offset_from_subtraction_1_auto.c:10}) }}