Re: Ping [PATCH v2] Add attribute and pragma for coverage suppression
Joseph Myers <[email protected]>
| Newsgroups | gmane.comp.gcc.patches |
|---|---|
| Message-ID | <[email protected]> |
On Wed, 8 Jul 2026, Jørgen Kvalsvik wrote: > > +/* Handle the "disable_coverge" attribute. We don't really do anything > > here, > > + just check later if it is set. */ Is it "suppress_coverage" or "disable_coverge"? The comment seems inconsistent with the implementation. This is not a review of the rest of the patch (which is not mainly a front-end patch). -- Joseph S. Myers [email protected]