---

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

Author: catamorphism

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: e34fad750359a3e72bb7b357432341b3d3f28c86
+refs/heads/try: 98260a2a22ab693f2363c68339cf5bb9fca011ab
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/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) {

branches/try/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; } } }
     }
 }