[Bug target/47930] New: -marm is undocumented; driver accepts -mno-thumb

[lennox at cs dot columbia.edu]

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

           Summary: -marm is undocumented; driver accepts -mno-thumb
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: lennox@cs.columbia.edu
            Target: arm*-*-*


According to the resolution of Bug 47535, the opposite of -mthumb on ARM
platforms should be -marm, not -mno-thumb.

However, -marm is undocumented, both in the arm.opt file (it's marked as
Undocumented) and in invoke.texi (except in the "ARM Options" list.)

Moreover, the compiler accepts -mno-thumb (-mthumb is not marked RejectNegative
in arm.opt.)