http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51884 --- Comment #2 from Francesco Biscani <bluescarni at gmail dot com> 2012-01-17 17:03:03 UTC --- Sorry, had initially uploaded the wrong code snippet, now it should be the correct one.