]> granicus.if.org Git - clang/commit
Don't report dead stores on unreachable code paths. Fixes <rdar://problem/8405222>.
authorTed Kremenek <kremenek@apple.com>
Fri, 11 Feb 2011 23:24:26 +0000 (23:24 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 11 Feb 2011 23:24:26 +0000 (23:24 +0000)
commit848ec83483ca4ba52ed72c7e29ebc330f8c87252
tree89ca61710a05824b6868a80b68884e91faffd644
parent21af8878b96ab1f9b077407ca3c512e5dc5d0ad6
Don't report dead stores on unreachable code paths.  Fixes <rdar://problem/8405222>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125415 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/Analyses/LiveVariables.h
include/clang/Analysis/FlowSensitive/DataflowSolver.h
lib/Analysis/LiveVariables.cpp
lib/Analysis/UninitializedValues.cpp
lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp
test/Analysis/dead-stores.c
test/Analysis/unreachable-code-path.c