[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).



More information about the cfe-commits mailing list