[Static Analyzer] Properly clean up the dynamic type information for dead regions.
Differential Revision: http://reviews.llvm.org/D12767 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@247430 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeMap.h 57 additions, 0 deletions.../clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeMap.h
- include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 0 additions, 14 deletions...de/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
- lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 25 additions, 8 deletionslib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
- lib/StaticAnalyzer/Core/CMakeLists.txt 1 addition, 0 deletionslib/StaticAnalyzer/Core/CMakeLists.txt
- lib/StaticAnalyzer/Core/CallEvent.cpp 3 additions, 2 deletionslib/StaticAnalyzer/Core/CallEvent.cpp
- lib/StaticAnalyzer/Core/DynamicTypeMap.cpp 51 additions, 0 deletionslib/StaticAnalyzer/Core/DynamicTypeMap.cpp
- lib/StaticAnalyzer/Core/ProgramState.cpp 0 additions, 33 deletionslib/StaticAnalyzer/Core/ProgramState.cpp
Loading
Please register or sign in to comment