https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107248
--- Comment #13 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Just to make it clear, since we have had customers asking about it, it is > still possible to trigger this issue with -mtune=leon or -mtune-leon3, > though it might make it less likely to happen. Very likely not, but proving it would be quite hard.
