http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42579
--- Comment #6 from Asier Llano <asierllano at gmail dot com> 2012-08-31 08:03:58 UTC --- We tried it in 4.7 and it works perfectly. By now we will have to apply this patch for our development with 4.7.1.
