https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125087
--- Comment #1 from anlauf at gcc dot gnu.org ---
Some context:
/* free_format_data()-- Free all allocated format data. */
void
free_format_data (format_data *fmt)
{
...
free (fmt);
fmt = NULL;
}
It looks like the intent was to nullify the pointer in the caller,
but this does not work the way it is coded.
