]> granicus.if.org Git - clang/commit
Add a heuristic to the dead stores checker to prune dead stores for variables annotat...
authorTed Kremenek <kremenek@apple.com>
Thu, 3 Dec 2009 00:46:16 +0000 (00:46 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 3 Dec 2009 00:46:16 +0000 (00:46 +0000)
commit74635d8cd3c367890735dc4af2c2825a7e4b434c
treef8b5a0de1d604a2b7886bde872d8e73458f7b360
parentccf43505dbc47da041c06125f90b3bd3ac7eac97
Add a heuristic to the dead stores checker to prune dead stores for variables annotated with '__block'.  This is overly conservative, but now the analyzer doesn't report dead stores for variables that can be updated by a block call.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90364 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/CheckDeadStores.cpp
test/Analysis/dead-stores.c