http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57855
Patrick Marlier <patrick.marlier at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |patrick.marlier at gmail dot com --- Comment #2 from Patrick Marlier <patrick.marlier at gmail dot com> --- There was a related discussion here: http://gcc.gnu.org/ml/gcc-patches/2012-05/msg00598.html Probably we can modify Dave's patch a bit.