On Mon, 22 May 2023 at 21:24, Anton Johansson <a...@rev.ng> wrote: > > Hi, > > coverity recently reported some defects in code generated by idef-parser > (email attached). These defects are expected and we plan to emit a > /* coverity[event_tag] */ comment to disable the specific event triggered.
We don't mark coverity false positives with comments in the source. For the free online scanner, we just mark them as false positives in the GUI (with an explanation of why they're false positives). It's weird that the ones listed in the email don't show up in the GUI, but if they're not in the GUI as unresolved issues then they're not a problem :-) thanks -- PMM