Skip to content

Commit

Permalink
Don't stub out part of test
Browse files Browse the repository at this point in the history
  • Loading branch information
syvb committed Jul 9, 2021
1 parent 74d0d74 commit df3e003
Show file tree
Hide file tree
Showing 3 changed files with 12 additions and 5 deletions.
2 changes: 1 addition & 1 deletion src/test/ui/issues/issue-47412.mir.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ LL | match u.void {}
= note: the field may not be properly initialized: using uninitialized data will cause undefined behavior

error[E0133]: dereference of raw pointer is unsafe and requires unsafe function or block
--> $DIR/issue-47412.rs:21:11
--> $DIR/issue-47412.rs:20:11
|
LL | match *ptr {}
| ^^^^ dereference of raw pointer
Expand Down
3 changes: 1 addition & 2 deletions src/test/ui/issues/issue-47412.rs
Original file line number Diff line number Diff line change
Expand Up @@ -12,8 +12,7 @@ fn union_field() {
union Union { unit: (), void: Void }
let u = Union { unit: () };
match u.void {}
//[mir]~^ ERROR access to union field is unsafe
// FIXME(thir-unsafeck): AccessToUnionField unimplemented
//~^ ERROR access to union field is unsafe
}

fn raw_ptr_deref() {
Expand Down
12 changes: 10 additions & 2 deletions src/test/ui/issues/issue-47412.thir.stderr
Original file line number Diff line number Diff line change
@@ -1,11 +1,19 @@
error[E0133]: access to union field is unsafe and requires unsafe function or block
--> $DIR/issue-47412.rs:14:11
|
LL | match u.void {}
| ^^^^^^ access to union field
|
= note: the field may not be properly initialized: using uninitialized data will cause undefined behavior

error[E0133]: dereference of raw pointer is unsafe and requires unsafe function or block
--> $DIR/issue-47412.rs:21:11
--> $DIR/issue-47412.rs:20:11
|
LL | match *ptr {}
| ^^^^ dereference of raw pointer
|
= note: raw pointers may be null, dangling or unaligned; they can violate aliasing rules and cause data races: all of these are undefined behavior

error: aborting due to previous error
error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0133`.

0 comments on commit df3e003

Please sign in to comment.