------- Comment #5 from rearnsha at gcc dot gnu dot org 2010-03-19 13:27 ------- I think the compiler should throw an error if there are any statements in the naked function other than asm statements. All such asms should be treated as volatile.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43404