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!

Reply via email to