Skip to content
Snippets Groups Projects
Normal view Permalink
warnings.log 844 B
Newer Older
Andre Maroneze's avatar
partially sync with frama-c master  
Andre Maroneze committed
1 2 3 
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:
Andre Maroneze's avatar
Initial commit
Andre Maroneze committed
4 5 6 7 8 9 10 11 
{{ 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}) }}