---

yaml
---
r: 12864
b: refs/heads/master
c: 3f283bb
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: afca68b82089db479594c1d012375c7791cb5bd5
+refs/heads/master: 3f283bb168564b365cd361d8afff7d3809f02f02
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rustc/middle/tstate/bitvectors.rs

@@ -82,23 +82,26 @@ fn seq_preconds(fcx: fn_ctxt, pps: [pre_and_post]) -> precond {
 
     fn seq_preconds_go(fcx: fn_ctxt, pps: [pre_and_post], first: pre_and_post)
        -> precond {
-        let sz: uint = vec::len(pps);
-        if sz >= 1u {
-            let second = pps[0];
-            assert (pps_len(second) == num_constraints(fcx.enclosing));
-            let second_pre = clone(second.precondition);
-            difference(second_pre, first.postcondition);
-            let next_first = clone(first.precondition);
-            union(next_first, second_pre);
-            let next_first_post = clone(first.postcondition);
-            seq_tritv(next_first_post, second.postcondition);
-            ret seq_preconds_go(fcx, vec::slice(pps, 1u, sz),
-                                @{precondition: next_first,
-                                  postcondition: next_first_post});
-        } else { ret first.precondition; }
+        let mut pps = pps;
+        let mut first = first;
+        loop {
+            let sz: uint = vec::len(pps);
+            if sz >= 1u {
+                let second = pps[0];
+                assert (pps_len(second) == num_constraints(fcx.enclosing));
+                let second_pre = clone(second.precondition);
+                difference(second_pre, first.postcondition);
+                let next_first = clone(first.precondition);
+                union(next_first, second_pre);
+                let next_first_post = clone(first.postcondition);
+                seq_tritv(next_first_post, second.postcondition);
+                pps = vec::slice(pps, 1u, sz);
+                first = @{precondition: next_first,
+                          postcondition: next_first_post};
+            } else { ret first.precondition; }
+        }
     }
 
-
     if sz >= 1u {
         let first = pps[0];
         assert (pps_len(first) == num_vars);