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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

In D63279#1901272 <https://reviews.llvm.org/D63279#1901272>, @Szelethus wrote:

> Alright, I just started an analysis on this. Never too late, eh? I'll expect to have results in a day or two to see whether everything works as expected.


Do want!


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

https://reviews.llvm.org/D63279