Skip to content
Snippets Groups Projects
Normal view Permalink
warnings.log 586 B
Newer Older
David Bühler's avatar
Enables all garbled-mix messages, which have been improved.  
David Bühler committed
1 2 3 4 5 6 7 8 9 
provenance_via_io_auto.c:8:[eva:garbled-mix:assigns] warning: The specification of function printf_va_1
has generated a garbled mix of addresses
for assigns clause __fc_stdout->__fc_FILE_data.
provenance_via_io_auto.c:10:[eva:garbled-mix:assigns] warning: The specification of function fprintf_va_1
has generated a garbled mix of addresses
for assigns clause stream->__fc_FILE_data.
[eva:garbled-mix:summary] warning: Origins of garbled mix generated during analysis:
  provenance_via_io_auto.c:10: assigns clause on addresses
    (read 6 times, propagated 6 times) garbled mix of &{y}