warnings.log

provenance_union_punning_2_global_yx.c:11:[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_union_punning_2_global_yx.c:13:[kernel] warning: all target addresses were invalid. This path is assumed to be dead.
stack: main