http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55763
--- Comment #5 from Paul Thomas <pault at gcc dot gnu.org> 2012-12-21 16:51:41 UTC --- Sorry, I didn't look down the PR - I thought that we were just at the stage of your opening email :-( Paul
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55763
--- Comment #5 from Paul Thomas <pault at gcc dot gnu.org> 2012-12-21 16:51:41 UTC --- Sorry, I didn't look down the PR - I thought that we were just at the stage of your opening email :-( Paul