diff options
| author | Tim Chevalier <[email protected]> | 2011-04-27 15:41:53 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-04-28 13:26:19 -0700 |
| commit | 26e177a97a9c0f40a38112ccad5ddaadf34c42d9 (patch) | |
| tree | 063a5e80fc7e2460c801ee971b35bcb6b994e19c /src/test/compile-fail | |
| parent | Add a session field to ty_ctxt and change an err to span_err (diff) | |
| download | rust-26e177a97a9c0f40a38112ccad5ddaadf34c42d9.tar.xz rust-26e177a97a9c0f40a38112ccad5ddaadf34c42d9.zip | |
Enable typestate_check
Enable typestate checking (just for uninitialized vars) and un-XFAIL the
relevant tests for stage0.
Diffstat (limited to 'src/test/compile-fail')
| -rw-r--r-- | src/test/compile-fail/break-uninit.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/break-uninit2.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/fru-typestate.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/return-uninit.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/use-uninit-2.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/use-uninit-3.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/use-uninit-dtor.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/use-uninit.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/while-bypass.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/while-expr.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/writing-through-uninit-vec.rs | 1 |
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 e9085dd2..097312b2 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 8ef83f08..45d758f6 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 74fcdb26..86c68e5b 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 047db518..37117169 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 c77676b8..79cebe28 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 5dd3926b..e6545451 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 be2f1727..fed90df6 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 bd2e9f41..03dafdcc 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 b49152b3..1de89e90 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 295752f8..9077c18f 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 7757609d..55edbf87 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() { |