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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
