[Bug driver/47535] -mno-thumb option does not work on ARM compiler configured --with-mode=thumb

[lennox at cs dot columbia.edu]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47535

--- Comment #2 from Jonathan Lennox <lennox at cs dot columbia.edu> 2011-02-28 17:30:39 UTC ---
In arm.opt, marm is marked Undocumented, and mthumb is not marked
RejectNegative.

In invoke.texi, -marm isn't mentioned except in the "ARM options" list.

Should I open a options and/or documentation bug on these items?