http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45472
--- Comment #29 from Andrey Belevantsev <abel at gcc dot gnu.org> 2013-04-03 05:59:53 UTC --- Ported to 4.7 and 4.6, though no bugzilla commit made. Do I close the bug or do we want to fix the front-end to produce the proper volatile bits?