[analyzer] Run remove dead on end of path.
authorAnna Zaks <ganna@apple.com>
Sat, 3 Nov 2012 02:54:20 +0000 (02:54 +0000)
committerAnna Zaks <ganna@apple.com>
Sat, 3 Nov 2012 02:54:20 +0000 (02:54 +0000)
commit8d1f6ed9a862a516e50f40b88bae09205316b10a
treec0bc60ddfec48a3aa69429a0796cdce7267e3955
parent44dc91b4df5d6e0264e9fd799ac8b473b25d0f32
[analyzer] Run remove dead on end of path.

This will simplify checkers that need to register for leaks. Currently,
they have to register for both: check dead and check end of path.

I've modified the SymbolReaper to consider everything on the stack dead
if the input StackLocationContext is 0.

(This is a bit disruptive, so I'd like to flash out all the issues
asap.)

llvm-svn: 167352
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
clang/lib/StaticAnalyzer/Core/RegionStore.cpp
clang/lib/StaticAnalyzer/Core/SymbolManager.cpp
clang/test/Analysis/simple-stream-checks.c