https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108602
Alexandre Oliva <aoliva at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |aoliva at gcc dot gnu.org --- Comment #1 from Alexandre Oliva <aoliva at gcc dot gnu.org> --- FWIW, I'm getting the same errors with gcc-13 on arm-vx7r2, but not on other vx7r2 targets. Some debugging showed that basic_format_args gets read from the module as __as_base, for reasons yet to be determined.