https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116263

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
```
                if (report_times_to_file)
                  {
                    int c = 0;
                    const char *const *j;

                    fprintf (report_times_to_file, "%g %g", ut, st);
```

Oops.

Reply via email to