Yo Hal!

On Mon, 06 Feb 2023 20:08:21 -0800
Hal Murray <halmur...@sonic.net> wrote:

> >> But then Coverity will barf (DEADCODE) at all the defaults.  
> > What purpose do they still have?   
> 
> None.  But we have -Wswitch-default so it will barf if we remove them.
> 
> They would be useful if an illegal value was passed in.  At least in
> the case that started this thread, the values are coming out of
> compile time data and I'm reasonably sure I have the type checking
> set up right so I'm not really worried about bogus values.  I'd
> rather leave the default in with an error message and tell Coverity
> it's OK.

So we tell Coverity to ignore the extra defaults.

> >> I think I'm willing to fix them.  Is there any way to run Coverity
> >> without waiting for it to get around to scanning our code?  
> > I think coverity grabs every commit, and does not wait long.  
> 
> I don't get the Coverity mail.  How do I fix that?  The bottom of the
> mail you forwarded has a link for you to "manage Coverity Scan email
> notifications" so I assume there is some recipe to sign up.  I poked
> around a bit but didn't find it.  Do you remember how you signed up?

Do you have a coverity account?

https://scan.coverity.com/

Then go to "My Dashboard" and "Add project".


> Can you check to see how long it was between when I pushed that
> commit and when the mail arrived?  Here is the pipeline mail from
> that push. Subject: ntpsec | Successful pipeline for master | bd596fa3
>     From: GitLab <git...@mg.gitlab.com>
>     Date: Thu, 02 Feb 2023 05:48:37 +0000 (Wed 21:48 PST)

It was detected on Feb 5.

RGDS
GARY
---------------------------------------------------------------------------
Gary E. Miller Rellim 109 NW Wilmington Ave., Suite E, Bend, OR 97703
        g...@rellim.com  Tel:+1 541 382 8588

            Veritas liberabit vos. -- Quid est veritas?
    "If you can't measure it, you can't improve it." - Lord Kelvin

Attachment: pgpLXtIqyE_BS.pgp
Description: OpenPGP digital signature

_______________________________________________
devel mailing list
devel@ntpsec.org
https://lists.ntpsec.org/mailman/listinfo/devel

Reply via email to