------- Comment #15 from hjl dot tools at gmail dot com 2008-07-24 17:49 ------- I don't think the middle-end should change optimization options which have been overridden by the backend. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36907