https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118280
--- Comment #6 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- 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)?
