http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60070
Bug ID: 60070
Summary: An option to disable all floating-pont
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: enhancement
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: hpa at zytor dot com
In the Linux kernel, and quite possibly in other standalone/embedded
environments, the use of any floating-point state or instructions is an error.
It would be nice to have a single option to have gcc error out on any floating
point use, rather than having to chase options.
