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.

Reply via email to