Enable typestate_check

Enable typestate checking (just for uninitialized vars) and un-XFAIL the
relevant tests for stage0.

11 files changed, 0 insertions, 11 deletions

diff --git a/src/test/compile-fail/break-uninit.rs b/src/test/compile-fail/break-uninit.rs
index e9085dd25e8..097312b2b64 100644
--- a/src/test/compile-fail/break-uninit.rs
+++ b/src/test/compile-fail/break-uninit.rs
@@ -1,5 +1,4 @@
 // xfail-boot
-// xfail-stage0
 // error-pattern:Unsatisfied precondition
 
 fn foo() -> int {
diff --git a/src/test/compile-fail/break-uninit2.rs b/src/test/compile-fail/break-uninit2.rs
index 8ef83f08cf5..45d758f6194 100644
--- a/src/test/compile-fail/break-uninit2.rs
+++ b/src/test/compile-fail/break-uninit2.rs
@@ -1,5 +1,4 @@
 // xfail-boot
-// xfail-stage0
 // error-pattern:Unsatisfied precondition
 
 fn foo() -> int {
diff --git a/src/test/compile-fail/fru-typestate.rs b/src/test/compile-fail/fru-typestate.rs
index 74fcdb26520..86c68e5b905 100644
--- a/src/test/compile-fail/fru-typestate.rs
+++ b/src/test/compile-fail/fru-typestate.rs
@@ -1,4 +1,3 @@
-// xfail-stage0
 // -*- rust -*-
 
 // error-pattern: precondition
diff --git a/src/test/compile-fail/return-uninit.rs b/src/test/compile-fail/return-uninit.rs
index 047db518fab..3711716927a 100644
--- a/src/test/compile-fail/return-uninit.rs
+++ b/src/test/compile-fail/return-uninit.rs
@@ -1,4 +1,3 @@
-// xfail-stage0
 // error-pattern: precondition constraint
 
 fn f() -> int {
diff --git a/src/test/compile-fail/use-uninit-2.rs b/src/test/compile-fail/use-uninit-2.rs
index c77676b8099..79cebe2811f 100644
--- a/src/test/compile-fail/use-uninit-2.rs
+++ b/src/test/compile-fail/use-uninit-2.rs
@@ -1,4 +1,3 @@
-// xfail-stage0
 // error-pattern:Unsatisfied precondition
 
 fn foo(int x) {
diff --git a/src/test/compile-fail/use-uninit-3.rs b/src/test/compile-fail/use-uninit-3.rs
index 5dd3926ba0d..e65454518a3 100644
--- a/src/test/compile-fail/use-uninit-3.rs
+++ b/src/test/compile-fail/use-uninit-3.rs
@@ -1,4 +1,3 @@
-// xfail-stage0
 // error-pattern:Unsatisfied precondition
 
 fn foo(int x) {
diff --git a/src/test/compile-fail/use-uninit-dtor.rs b/src/test/compile-fail/use-uninit-dtor.rs
index be2f1727a6f..fed90df61f6 100644
--- a/src/test/compile-fail/use-uninit-dtor.rs
+++ b/src/test/compile-fail/use-uninit-dtor.rs
@@ -1,4 +1,3 @@
-// xfail-stage0
 // error-pattern:Unsatisfied precondition
 
 fn main() {
diff --git a/src/test/compile-fail/use-uninit.rs b/src/test/compile-fail/use-uninit.rs
index bd2e9f416a2..03dafdcc003 100644
--- a/src/test/compile-fail/use-uninit.rs
+++ b/src/test/compile-fail/use-uninit.rs
@@ -1,4 +1,3 @@
-// xfail-stage0
 // error-pattern:Unsatisfied precondition
 
 fn foo(int x) {
diff --git a/src/test/compile-fail/while-bypass.rs b/src/test/compile-fail/while-bypass.rs
index b49152b3e98..1de89e909da 100644
--- a/src/test/compile-fail/while-bypass.rs
+++ b/src/test/compile-fail/while-bypass.rs
@@ -1,4 +1,3 @@
-// xfail-stage0
 // error-pattern: precondition constraint
 
 fn f() -> int {
diff --git a/src/test/compile-fail/while-expr.rs b/src/test/compile-fail/while-expr.rs
index 295752f8e02..9077c18fd62 100644
--- a/src/test/compile-fail/while-expr.rs
+++ b/src/test/compile-fail/while-expr.rs
@@ -1,4 +1,3 @@
-// xfail-stage0
 // error-pattern: precondition constraint
 
 fn main() {
diff --git a/src/test/compile-fail/writing-through-uninit-vec.rs b/src/test/compile-fail/writing-through-uninit-vec.rs
index 7757609df78..55edbf87875 100644
--- a/src/test/compile-fail/writing-through-uninit-vec.rs
+++ b/src/test/compile-fail/writing-through-uninit-vec.rs
@@ -1,4 +1,3 @@
-// xfail-stage0
 // error-pattern: Unsatisfied precondition constraint
 
 fn test() {