https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79612
--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- I cannot think of this happening with normal code. An internal error might be better, but internal_error does not take printf-style arguments.