]> granicus.if.org Git - clang/commit
Modified the dead stores checker to...
authorTed Kremenek <kremenek@apple.com>
Fri, 20 Jun 2008 21:45:25 +0000 (21:45 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 20 Jun 2008 21:45:25 +0000 (21:45 +0000)
commit1a654b60ef40e84f3943cdb581795c4d4dae1e45
tree818d13bf262119a807f9598a533c502da72caede
parentf8e32cf062f39fff1a00aff748cb6b5dc0abc2fe
Modified the dead stores checker to...

1) Check if a dead store appears as a subexpression.  For such cases, we emit
   a verbose diagnostic so that users aren't confused.  This addresses:

   <rdar://problem/5968508> checker gives misleading report for dead store in loop

2) Don't emit a dead store warning when assigning a null value to a pointer.
   This is a common form of defensive programming.  We may wish to make
   this an option to the the checker one day.

   This addresses the feature request in the following email:

   http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-June/001978.html

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52555 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/LocalCheckers.h
include/clang/Analysis/PathSensitive/BugReporter.h
include/clang/Analysis/PathSensitive/GRCoreEngine.h
include/clang/Analysis/PathSensitive/GRExprEngine.h
lib/Analysis/BugReporter.cpp
lib/Analysis/DeadStores.cpp
lib/Analysis/GRCoreEngine.cpp
lib/Analysis/GRExprEngine.cpp
test/Analysis/dead-stores.c