On Tue, 5 Nov 2013, Mike Stump wrote:
> On Nov 5, 2013, at 1:45 PM, Oleg Endo <oleg.endo@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.
Or nothing at all, as compile seems to be the default here.
(grep for dg-do-what-default)
brgds, H-P