http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52839 --- Comment #23 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-04-11 00:30:46 UTC --- I hadn't got as far as tracking down when it changed - if you're right that would be quite nice and we'll be able to fix it properly.