diff options
| author | Pavel Labath <labath@google.com> | 2013-08-19 15:23:34 +0000 |
|---|---|---|
| committer | Pavel Labath <labath@google.com> | 2013-08-19 15:23:34 +0000 |
| commit | 71bb9879974ae39d1a8fc0d349c00049571a72d2 (patch) | |
| tree | e29e9cd85bac16fa26a040800959cfc1d354af83 /clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp | |
| parent | 4a9df8a768823ba74279596da0fabdada25f6de6 (diff) | |
| download | bcm5719-llvm-71bb9879974ae39d1a8fc0d349c00049571a72d2.tar.gz bcm5719-llvm-71bb9879974ae39d1a8fc0d349c00049571a72d2.zip | |
[analyzer] Fix inefficiency in dead symbol removal
Summary:
ScanReachableSymbols uses a "visited" set to avoid scanning the same object
twice. However, it did not use the optimization for LazyCompoundVal objects,
which resulted in exponential complexity for long chains of temporary objects.
Adding this resulted in a decrease of analysis time from >3h to 3 seconds for
some files.
Reviewers: jordan_rose
CC: cfe-commits
Differential Revision: http://llvm-reviews.chandlerc.com/D1398
llvm-svn: 188677
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp')
0 files changed, 0 insertions, 0 deletions
