[PATCH] D63279: [Analyzer] Unroll for-loops where the upper boundary is a variable with know value
Balogh, Ádám via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Jul 17 06:13:03 PDT 2019
baloghadamsoftware added a comment.
I am a bit afraid of the performance of the feature because of the extensive use of matchers. Based on my previous experiences matcher creation and disposition are expensive operations. Matchers are meant to be a kind of "static" structures created only once and destroyed at the end. Using them in the core infrastructure may negatively affect the execution time of the whole analysis. Maybe we should get rid of them before turning on this feature as default (which is the ultimate goal).
CHANGES SINCE LAST ACTION
More information about the cfe-commits