Skip to content
Snippets Groups Projects
Normal view Permalink
warnings.log 380 B
Newer Older
Andre Maroneze's avatar
partially sync with frama-c master  
Andre Maroneze committed
1 2 
pointer_comparison_rel_substruct.c:7:[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_comparison_rel_substruct.c:8:[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.