diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-01-25 00:35:05 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-01-25 00:35:05 +0000 |
| commit | 9d0064e802e81d0833e8ccab8978b17c0bac3625 (patch) | |
| tree | f23bd97982dfd8a7b31c02a360d3c3d356f6cfe4 /lib/Sema/Sema.cpp | |
| parent | b5c6babd3d8e0233b8ea5a4eb1e2700e30c0d396 (diff) | |
Reduce peak memory usage of the static analyzer on sqlite3 (when using inlining) by 30%.
This is accomplished by periodically reclaiming nodes in the graph. This was an optimization
done before the CFG was linearized, but the CFG linearization destroyed that optimization since each
freshly created node couldn't be reclaimed and we only looked at a window of nodes created between
each ProcessStmt. This optimization can be reclaimed my merely expanding the window to N number of nodes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148888 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/Sema.cpp')
0 files changed, 0 insertions, 0 deletions