https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100431
--- Comment #5 from Joey Dumont <joey.dumont at gmail dot com> --- I just started looking at these other cases (for some reason I didn't see them in my initial compilation), but I am not sure what format specifiers should be used. Are the format specifiers used by __gcc_tdiag__ documented somewhere? I tried grepping through the source, but couldn't find anything.
