[ovs-dev] [PATCH 00/11] Fix clang static analysis null pointer bugs.
Ben Pfaff
blp at ovn.org
Mon Oct 30 19:20:33 UTC 2017
On Sat, Oct 28, 2017 at 10:31:47AM -0700, William Tu wrote:
> Before the patch, the scan-build reports 46 bugs found.
> The patch series fix the clang static checker bug group:
> "Argument with nonnull attribute passed null"
> Most of the fixes are adding "ovs_assert" to tell the checker
> that the pointer won't be null. Now the bugs count reduces to 35.
> Tested it by doing "make clang-analyze"
Thanks for taking a look at all those warnings.
In general, I'm not a fan of adding assertions for nonnull pointers that
are dereferenced soon after. This kind of an assertion doesn't really
help much, because it just converts a SIGSEGV signal into a SIGABRT
signal. I agree that it makes sense to add them when the assertion is
long before the dereference, or if the pointer should always be nonnull
but is not necessarily dereferenced.
I don't think it should be a goal to eliminate all clang-analyzer
warnings. clang-analyzer simply doesn't have enough context in many
cases, so it gives incorrect warnings.
I'll make some more specific comments on individual patches.
More information about the dev
mailing list