http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56841
--- Comment #5 from dave.anglin at bell dot net 2013-04-06 15:18:44 UTC --- > --- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> > 2013-04-05 10:14:42 UTC --- > > Dave, does it work after rev 197512 ? Two thumbs up! Dave -- John David Anglin dave.ang...@bell.net