Date: Wed, 28 Feb 2018 16:59:50 -0800 (PST) From: "Rodney W. Grimes" <freebsd@pdx.rh.CN85.dnsmgr.net> To: Conrad Meyer <cem@freebsd.org> Cc: src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org Subject: Re: svn commit: r330135 - head/sys/ufs/ffs Message-ID: <201803010059.w210xoZ3022625@pdx.rh.CN85.dnsmgr.net> In-Reply-To: <201803010029.w210TqF5069963@repo.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
> Author: cem > Date: Thu Mar 1 00:29:52 2018 > New Revision: 330135 > URL: https://svnweb.freebsd.org/changeset/base/330135 > > Log: > ffs: softdep_disk_write_complete: Quiesce spurious Coverity warning > > Coverity cannot determine that handle_written_indirdep() does not access > uninitialized 'sbp' when flags argument is zero. > > So, simply move the initialization slightly sooner to silence the warning. > > No functional change. I am always concerned when we modify code just to silence a warning from a static analysis tool. There use to be a pretty hard and fast rule about this: Dont do it, at most document that the tool is lacking and giving false positives. It double raises an eye brow when the change is made to silence the tool and "no function change" should be occuring. > Reported by: Coverity > Sponsored by: Dell EMC Isilon > > Modified: > head/sys/ufs/ffs/ffs_softdep.c > > Modified: head/sys/ufs/ffs/ffs_softdep.c > ============================================================================== > --- head/sys/ufs/ffs/ffs_softdep.c Thu Mar 1 00:05:14 2018 (r330134) > +++ head/sys/ufs/ffs/ffs_softdep.c Thu Mar 1 00:29:52 2018 (r330135) > @@ -10984,6 +10984,8 @@ softdep_disk_write_complete(bp) > if (ump == NULL) > return; > > + sbp = NULL; > + > /* > * If an error occurred while doing the write, then the data > * has not hit the disk and the dependencies cannot be processed. > @@ -11026,7 +11028,6 @@ softdep_disk_write_complete(bp) > /* > * Ump SU lock must not be released anywhere in this code segment. > */ > - sbp = NULL; > owk = NULL; > while ((wk = LIST_FIRST(&bp->b_dep)) != NULL) { > WORKLIST_REMOVE(wk); > > -- Rod Grimes rgrimes@freebsd.org
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201803010059.w210xoZ3022625>