http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24985
--- Comment #40 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2012-04-13 11:58:04 UTC --- I think what Jonathan proposed in comment #37 is also nice. If Jason approves, I will implement it.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24985
--- Comment #40 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2012-04-13 11:58:04 UTC --- I think what Jonathan proposed in comment #37 is also nice. If Jason approves, I will implement it.