]> granicus.if.org Git - clang/commit
Added "Dead Stores", a flow-sensitive checker that checks for stores
authorTed Kremenek <kremenek@apple.com>
Thu, 6 Sep 2007 23:00:42 +0000 (23:00 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 6 Sep 2007 23:00:42 +0000 (23:00 +0000)
commit055c275fabcbe1ef246942c8b5f7d49b3a173500
tree3c6cdce19574397daf684ebcc625e68723077234
parent27b07c5fb9926c9d69fa1d8239e96ad0b7a178f7
Added "Dead Stores", a flow-sensitive checker that checks for stores
to variables that are no longer live.  This analysis is built on top
of CFGs and the LiveVariables analysis.

changes to driver:
 added driver option "-check-dead-stores" to run the analysis

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41754 91177308-0d34-0410-b5e6-96231b3b80d8
Analysis/LiveVariables.cpp
Driver/ASTStreamers.cpp
Driver/ASTStreamers.h
Driver/Makefile
Driver/clang.cpp
clang.xcodeproj/project.pbxproj
include/clang/Analysis/LiveVariables.h
include/clang/Basic/DiagnosticKinds.def