-
- Downloads
Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control of Store objects.
This yields a minor memory reduction (for larger functions) on Sqlite at the cost of slightly higher memory usage on some functions because of the increased size of GRState (which can be optimized). I expect the real memory savings from this enhancement will come when we aggressively canabilize more of the ExplodedGraph. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126012 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- include/clang/StaticAnalyzer/Core/PathSensitive/GRState.h 11 additions, 9 deletionsinclude/clang/StaticAnalyzer/Core/PathSensitive/GRState.h
- include/clang/StaticAnalyzer/Core/PathSensitive/Store.h 78 additions, 23 deletionsinclude/clang/StaticAnalyzer/Core/PathSensitive/Store.h
- lib/StaticAnalyzer/Core/BasicStore.cpp 83 additions, 73 deletionslib/StaticAnalyzer/Core/BasicStore.cpp
- lib/StaticAnalyzer/Core/FlatStore.cpp 35 additions, 34 deletionslib/StaticAnalyzer/Core/FlatStore.cpp
- lib/StaticAnalyzer/Core/GRState.cpp 31 additions, 33 deletionslib/StaticAnalyzer/Core/GRState.cpp
- lib/StaticAnalyzer/Core/RegionStore.cpp 102 additions, 85 deletionslib/StaticAnalyzer/Core/RegionStore.cpp
- lib/StaticAnalyzer/Core/Store.cpp 7 additions, 3 deletionslib/StaticAnalyzer/Core/Store.cpp
Loading
Please register or sign in to comment