http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48823
--- Comment #5 from Steve Ellcey <sje at cup dot hp.com> 2011-10-13 20:16:46 UTC --- I am not sure any set of flags will guarantee strict IEEE floating point behavior. See PR37845 for some more information.