http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54900
--- Comment #4 from Francesco Zappa Nardelli <francesco.zappa.nardelli at gmail dot com> 2012-10-18 13:39:30 UTC --- gcc version 4.8.0 20121018 (experimental) - which includes revision 192548 - compiles this example correctly. It also fixes http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54906 . Great, thanks.