http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52526
--- Comment #2 from Patrick Marlier <patrick.marlier at gmail dot com> 2012-03-12 21:29:30 UTC --- Indeed, with your proposed patch, it fixes the problem. Thanks!
patrick.marlier at gmail dot com Mon, 12 Mar 2012 14:30:08 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52526
--- Comment #2 from Patrick Marlier <patrick.marlier at gmail dot com> 2012-03-12 21:29:30 UTC --- Indeed, with your proposed patch, it fixes the problem. Thanks!