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

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

FYI, I am working on repeating and reevaluating Peter's measurements <https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4104/4011> with the current master. And if possible then I'd like to extend the measures for new C and C++ projects. I am planning to share the statistics and run-time results.

(Hopefully I'd be able to do measurements with this (or the alternative D34812 <https://reviews.llvm.org/D34812>) patch as well.  And maybe for loop widening as well.)


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

https://reviews.llvm.org/D63279