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. > I can change that before committing, no problem. Thanks.