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

Reply via email to