[PATCH] Illegal delete/free not detected by clang static analyzer(MallocChecker)

Jordan Rose jordan_rose at apple.com
Mon Aug 5 17:33:31 PDT 2013

On Aug 5, 2013, at 10:38 , John McCall <rjmccall at apple.com> wrote:

> On Aug 5, 2013, at 9:09 AM, Jordan Rose <jordan_rose at apple.com> wrote:
>> delete nullptr / delete 0 is entirely legal in C++. Can you please take that back out?
> An analysis which points out that what’s being deleted is *always* null would
> probably be useful, but I assume that would require different logic.

Yes...unfortunately the analyzer is not great at proving something true along all paths that lead to a particular statement, instead of just one path.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130805/65f6a4a4/attachment.html>

More information about the cfe-commits mailing list