svn commit: r333860 - head/sys/kern

Warner Losh imp at bsdimp.com
Thu May 24 15:54:26 UTC 2018


On Thu, May 24, 2018 at 12:36 AM, Matthew Macy <mmacy at freebsd.org> wrote:

> On Wed, May 23, 2018 at 11:35 PM, Michael Tuexen
> <Michael.Tuexen at macmic.franken.de> wrote:
> >> On 24. May 2018, at 06:51, Matthew Macy <mmacy at freebsd.org> wrote:
> >>
> >> Warnings find bugs PERIOD. Although most are not useful, I've found
> > Some warnings indicate bugs, some warnings are just wrong. If you
> > have a "may be used uninitialized" warning being a false positive, you
> > may silences the warning by just set it to zero in the declaration and
> > you silence it. Other compilers might then correctly report an
> > assignment without affect...
>
> I have yet to see a double assignment be flagged as assignment without
> effect. If it _does_ occur then we have to disable the warning on the
> compiler that we have less faith in.
>

Coverity does exactly that.

Warner


More information about the svn-src-head mailing list