On 29 September 2016 at 17:43, Jonathan Wakely <jwak...@redhat.com> wrote: >> +int main() >> +{ >> + static_assert(test()); >> +} > > > Can this second test use { dg-do compile } instead?
Yes it can, and it should (we shouldn't run what we don't need to run, the suite is heavy-weight enough already), well spotted. I'll fix that before committing.