http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57212
Kai Tietz <ktietz at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2013-05-08 Ever Confirmed|0 |1 --- Comment #4 from Kai Tietz <ktietz at gcc dot gnu.org> 2013-05-08 14:26:30 UTC --- (In reply to comment #3) > CC-ing Kai. Yes, patch looks reasonable. Indeed we had here a hick-up of changes and it gets fixed by this. I am ok by this change