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: unassig...@gcc.gnu.org ReportedBy: len...@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.)