[PATCH] D12358: [Analyzer] Handling constant bound loops

[Sean Eveson via cfe-commits]

seaneveson marked 4 inline comments as done.
seaneveson added a comment.

There are some issues which haven't been resolved yet:

- There is a loss of precision for loops that need to be executed exactly maxBlockVisitOnPath times, as the loop body is executed with the widened state **instead** of the last iteration.
- The invalidation still causes memory leak false positives (see failing test: pointer_doesnt_leak_from_loop).


http://reviews.llvm.org/D12358