[PATCH] D63279: [Analyzer] Unroll for-loops where the upper boundary is a variable with know value

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware added a comment.

In D63279#1590676 <https://reviews.llvm.org/D63279#1590676>, @NoQ wrote:

> /me has just noticed that this isn't D34812 <https://reviews.llvm.org/D34812>.


Oh, I just noticed that there was already an attempt to fix this :-) However, it seems that the review there died because the author left the work on the analyzer. My fix attempt is an answer to a user request. This patch does not intend to solve other problems, just the symbols with known value. However we are also interested in finalizing this project so it could be enabled as default in future versions of the analyzer. Maybe we should further discuss the open problems regarding it on `cfe-dev` or maybe in a personal meeting on `Skype`.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D63279/new/

https://reviews.llvm.org/D63279