]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fac2de) | patch
[analyzer] Improve performance of the SVal simplification mechanism further.
authorArtem Dergachev <artem.dergachev@gmail.com>
Thu, 31 May 2018 17:27:28 +0000 (17:27 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Thu, 31 May 2018 17:27:28 +0000 (17:27 +0000)
commit5a653690cd0f7c7cf609914143bafd3fc480f111
tree555e5e25b53ff24063dad1f508810cf5cb0a81d4tree | snapshot
parent0fac2de7f6453e65133516936d2a291372bea9f3commit | diff
[analyzer] Improve performance of the SVal simplification mechanism further.

Memoize simplification so that we didn't need to simplify the same symbolic
expression twice within the same program state.

Gives ~25% performance boost on the artificial test in test/Analysis/hangs.c.

Differential Revision: https://reviews.llvm.org/D47402

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@333671 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.