http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56865
--- Comment #12 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 29 Oct 2013, wschmidt at gcc dot gnu.org wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56865 > > --- Comment #11 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- > Thanks, Richi -- yes, I'll give this a try later today (lots of meetings in > the > way but I'll get to it sooner or later). Seems to have a bug - let me fix that first.