https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118280
--- Comment #7 from Thomas Petazzoni <thomas.petazz...@free-electrons.com> --- (In reply to Joseph S. Myers from comment #6) > Are you *actually using the code built by recent GCC versions on Microblaze > hardware running the Linux kernel* (as opposed to simply building software > for lots of different targets that GCC claims to support)? I am merely one of the co-maintainers of Buildroot, and we don't know which architectures our users are targeting. For sure we have many more users targeting x86/ARM/ARM64/RISC-V than we have people targeting Microblaze. But I don't really know for sure what is our user base on Microblaze. I personally don't really care much: if gcc decides that Microblaze is declared orphaned and no longer maintained (and I would certainly understand that), Buildroot will simply follow that and drop support for Microblaze. However as it stands today, Microblaze seems supported by gcc, hence this bug report.