This revision was automatically updated to reflect the committed changes.
Closed by commit rL333671: [analyzer] Improve performance of the SVal
simplification mechanism further. (authored by dergachev, committed by ).
Herald added a subscriber: llvm-commits.
Changed prior to commit:
https://rev
NoQ added a comment.
The remaining slowness is in `removeDead()`. It's going to be fun to optimize.
Some parts of it are already memoized (eg. the live set in `SymbolReaper`).
Memory usage on the artificial test seems stable.
Repository:
rC Clang
https://reviews.llvm.org/D47402
_
george.karpenkov added a comment.
@NoQ we should make sure the memory is not exploding and that we don't make the
analyzer slower in other cases. Though we could commit this, and then let CI
figure out potential regressions.
Repository:
rC Clang
https://reviews.llvm.org/D47402
__
NoQ created this revision.
NoQ added reviewers: dcoughlin, xazax.hun, a.sidorin, george.karpenkov, szepet,
rnkovacs.
Herald added subscribers: cfe-commits, baloghadamsoftware.
Memoize `SValBuilder::simplifySVal()` so that it didn't try to re-simplify the
same symbolic expression in the same prog
