---

yaml
---
r: 11770
b: refs/heads/master
c: 98260a2
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: e34fad750359a3e72bb7b357432341b3d3f28c86
+refs/heads/master: 98260a2a22ab693f2363c68339cf5bb9fca011ab
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

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

@@ -554,7 +554,7 @@ fn find_pre_post_state_expr(fcx: fn_ctxt, pres: prestate, e: @expr) -> bool {
             ret changed | set_poststate_ann(fcx.ccx, e.id, pres);
         } else {
             ret changed | set_poststate_ann(fcx.ccx, e.id,
-                             block_poststate(fcx.ccx, body));
+                                            false_postcond(num_constrs));
         }
       }
       expr_for(d, index, body) {

trunk/src/test/compile-fail/while-loop-pred-constraints.rs

@@ -11,6 +11,6 @@ fn main() {
     check (even(y));
     loop {
         print_even(y);
-        loop { loop { loop { y += x; } } }
+        while true { while true { while true { y += x; } } }
     }
 }