<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
On 11/6/2015 5:17 PM, George Burgess IV wrote:<br>
<blockquote
cite="mid:CAKh6zBF+4Wq0TztKLmWWDMx0QhYKA+h9tsk6q+OY5zsgsfrt1Q@mail.gmail.com"
type="cite">
<div dir="ltr">> <span style="font-size:12.8px">I like static
analysis, but I do not think the static analysis available in
clang today for null checking is suitable for -Wall. One of
the reasons is because it is difficult to silence false
positives (as you mentioned). More importantly though, the
impact to build time is quite substantial. Nullability checks
are path sensitive, and path sensitive checks are
super-exponential. If a file takes seconds to compile, it is
fairly common for it to take minutes to analyze.</span>
<div><span style="font-size:12.8px"><br>
</span></div>
<div><span style="font-size:12.8px">Sorry, I didn't express
myself clearly. The idea was more to make a new pass check
like the uninitialized value check, but checking for nulls
rather than "has this been assigned?" -- it's going to be a
low-quality analysis, but I'd think it should be able to
catch trivial cases without eating too many cycles.</span></div>
</div>
</blockquote>
If you can keep the number of false positives low and the speed
quick, then this seems reasonable and useful to me.<br>
<pre class="moz-signature" cols="72">--
Employee of Qualcomm Innovation Center, Inc.
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project
</pre>
</body>
</html>