https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70008

--- Comment #1 from Richard Earnshaw <rearnsha at gcc dot gnu.org> ---
Huh?  The attribute

   (set_attr "arch" "*,a")

Should disable the second alternative for Thumb.

Reply via email to