On Thu, 25 Jun 2026, Jørgen Kvalsvik wrote: > On 6/25/26 18:56, Joseph Myers wrote: > > On Thu, 25 Jun 2026, Jørgen Kvalsvik wrote: > > > > > Ping. Joseph, Jason, what do you think about the pragma/front-end changes? > > > > I don't see any tests of the diagnostics for bad code. I'd expect each > > warning or GCC_BAD call to have at least one corresponding test in the > > testsuite. > > > > Ah, my apologies, I've only tested it manually and forgot to write tests for > it. I'll add some right away. > > What do you think about the #pragma GCC suppress_coverage push|pop vs on|off, > or maybe even start|stop?
I do not have a view on those details of the design for this feature. -- Joseph S. Myers [email protected]
