On Wed, Jan 31, 2024 at 11:39:56PM -0800, Andi Kleen wrote: > > This will run the test only once with -std=c++11. We'll get better coverage > > with dropping the line above and using > > > > /* { dg-do compile { target { tail_call && { c || c++11 } } } } */ > > > > but here it may not matter. > > The problem is that older C/C++ standards don't support [[]] attributes. > It would make sense to say >= gnu++11 || >= c23 but I don't know how to > express that. That's what the c++11 target does. Unfortunately for C we don't have anything like that, hence the additional-options adding c23.
Marek