[PATCH] D12358: [Analyzer] Widening loops which do not exit

[Sean Eveson via cfe-commits]

seaneveson marked 5 inline comments as done.

================
Comment at: test/Analysis/loop-widening.c:160
@@ +159,3 @@
+void variable_bound_exiting_loops_widened(int x) {
+  int i = 0;
+  int t = 1;
----------------
The inner loop will now be widened in the first example test, which 'coincidentally' widens the outer loop as well. This means this text now passes.


http://reviews.llvm.org/D12358