svn commit: r333860 - head/sys/kern

Matthew Macy mmacy at freebsd.org
Thu May 24 15:57:48 UTC 2018


On Thu, May 24, 2018 at 8:54 AM, Warner Losh <imp at bsdimp.com> wrote:
>
>
> 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.

:-(


More information about the svn-src-head mailing list