On Nov 5, 2013, at 1:45 PM, Oleg Endo <oleg.e...@t-online.de> wrote: > You're right, it's redundant. It should be just > /* { dg-do compile } */ > > shouldn't it?
Yup, that's my take. > I can change that before committing, no problem. Thanks.
On Nov 5, 2013, at 1:45 PM, Oleg Endo <oleg.e...@t-online.de> wrote: > You're right, it's redundant. It should be just > /* { dg-do compile } */ > > shouldn't it?
Yup, that's my take. > I can change that before committing, no problem. Thanks.