https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107248
--- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Much more important: Thanks for fixing it :-) You're welcome. It looks like -mtune=leon or -mtune-leon3 can mitigate it.
ebotcazou at gcc dot gnu.org via Gcc-bugs Tue, 25 Oct 2022 01:01:21 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107248
--- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Much more important: Thanks for fixing it :-) You're welcome. It looks like -mtune=leon or -mtune-leon3 can mitigate it.