On 6/25/26 19:21, Joseph Myers wrote:
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.
Ok. Does it otherwise look ok? When I add the tests, of course.
