http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47749 --- Comment #13 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-09-28 16:23:40 UTC --- Of course if Davide could try something more recent than 4.4.4, it would be useful. Note that on Linux even current 4.4 branch is Ok.