Skip to content

Commit f29459b

Browse files
committed
Allow integer_to_ptr_transmutes in tests
1 parent 60941ec commit f29459b

File tree

6 files changed

+11
-0
lines changed

6 files changed

+11
-0
lines changed

src/tools/miri/tests/fail/branchless-select-i128-pointer.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
#![allow(integer_to_ptr_transmutes)]
2+
13
use std::mem::transmute;
24

35
#[cfg(target_pointer_width = "32")]

src/tools/miri/tests/fail/provenance/provenance_transmute.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
//@compile-flags: -Zmiri-permissive-provenance
22

3+
#![allow(integer_to_ptr_transmutes)]
4+
35
use std::mem;
46

57
// This is the example from

src/tools/miri/tests/fail/validity/dangling_ref1.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
// Make sure we catch this even without Stacked Borrows
22
//@compile-flags: -Zmiri-disable-stacked-borrows
3+
4+
#![allow(integer_to_ptr_transmutes)]
5+
36
use std::mem;
47

58
fn main() {

src/tools/miri/tests/panic/transmute_fat2.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
#![allow(integer_to_ptr_transmutes)]
2+
13
fn main() {
24
#[cfg(all(target_endian = "little", target_pointer_width = "64"))]
35
let bad = unsafe { std::mem::transmute::<u128, &[u8]>(42) };

src/tools/miri/tests/pass/binops.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,7 @@ fn test_bool() {
3232
assert_eq!(true ^ true, false);
3333
}
3434

35+
#[allow(integer_to_ptr_transmutes)]
3536
fn test_ptr() {
3637
unsafe {
3738
let p1: *const u8 = ::std::mem::transmute(0_usize);

tests/ui/binop/binops.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,7 @@ fn test_bool() {
3535
assert_eq!(true ^ true, false);
3636
}
3737

38+
#[allow(integer_to_ptr_transmutes)]
3839
fn test_ptr() {
3940
unsafe {
4041
let p1: *const u8 = ::std::mem::transmute(0_usize);

0 commit comments

Comments
 (0)