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
Showing
- include/clang/Analysis/Analyses/LiveVariables.h 2 additions, 1 deletioninclude/clang/Analysis/Analyses/LiveVariables.h
- include/clang/Analysis/FlowSensitive/DataflowSolver.h 4 additions, 0 deletionsinclude/clang/Analysis/FlowSensitive/DataflowSolver.h
- lib/Analysis/LiveVariables.cpp 8 additions, 4 deletionslib/Analysis/LiveVariables.cpp
- lib/Analysis/UninitializedValues.cpp 2 additions, 0 deletionslib/Analysis/UninitializedValues.cpp
- lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp 61 additions, 5 deletionslib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp
- test/Analysis/dead-stores.c 38 additions, 3 deletionstest/Analysis/dead-stores.c
- test/Analysis/unreachable-code-path.c 2 additions, 2 deletionstest/Analysis/unreachable-code-path.c
Loading
Please register or sign in to comment