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.
sjames at gcc dot gnu.org via Gcc-bugs Tue, 06 Aug 2024 20:32:32 -0700
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.