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

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus added a comment.
Herald added subscribers: martong, steakhal.

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

> In D63279#1630491 <https://reviews.llvm.org/D63279#1630491>, @NoQ wrote:
>
> > the only reason it's not enabled by default yet is because we forgot to do that :(
>
>
> Damn, thats a bummer. It wouldn't be too much trouble to run an analysis and check out whether everything works correctly, so I might enable this myself.


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.


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

https://reviews.llvm.org/D63279