Skip to content

Commit

Permalink
Add a bunch of tests for rust-lang#107975
Browse files Browse the repository at this point in the history
  • Loading branch information
GrigorenkoPV committed Jul 17, 2024
1 parent 8a8ad34 commit 94e67bc
Show file tree
Hide file tree
Showing 40 changed files with 850 additions and 0 deletions.
22 changes: 22 additions & 0 deletions tests/ui/codegen/equal-pointers-unequal/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
See https://github.com/rust-lang/rust/issues/107975

Basically, if you have two pointers with the same address but from two different allocations,
the compiler gets confused whether their addresses are equal or not,
resulting in some self-contradictory behavior of the compiled code.

This folder contains some examples.
They all boil down to allocating a variable on the stack, taking its address,
getting rid of the variable, and then doing it all again.
This way we end up with two addresses stored in two `usize`s (`a` and `b`).
The addresses are (probably) equal but (definitely) come from two different allocations.
Logically, we would expect that exactly one of the following options holds true:
1. `a == b`
2. `a != b`
Sadly, the compiler does not always agree.

Due to Rust having at least three meaningfully different ways
to get a variable's address as an `usize`,
each example is provided in three versions, each in the corresponding subfolder:
1. `./as-cast/` for `&v as *const _ as usize`,
2. `./strict-provenance/` for `addr_of!(v).addr()`,
2. `./exposed-provenance/` for `addr_of!(v).expose_provenance()`.
21 changes: 21 additions & 0 deletions tests/ui/codegen/equal-pointers-unequal/as-cast/basic.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass

fn main() {
let a: usize = {
let v = 0u8;
&v as *const _ as usize
};
let b: usize = {
let v = 0u8;
&v as *const _ as usize
};

// `a` and `b` are not equal.
assert_ne!(a, b);
// But they are the same number.
assert_eq!(format!("{a}"), format!("{b}"));
// And they are equal.
assert_eq!(a, b);
}
22 changes: 22 additions & 0 deletions tests/ui/codegen/equal-pointers-unequal/as-cast/function.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass

// Based on https://github.com/rust-lang/rust/issues/107975#issuecomment-1434203908

fn f() -> usize {
let v = 0;
&v as *const _ as usize
}

fn main() {
let a = f();
let b = f();

// `a` and `b` are not equal.
assert_ne!(a, b);
// But they are the same number.
assert_eq!(format!("{a}"), format!("{b}"));
// And they are equal.
assert_eq!(a, b);
}
30 changes: 30 additions & 0 deletions tests/ui/codegen/equal-pointers-unequal/as-cast/inline1.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass
//@ check-run-results
//@ normalize-stdout-test: "\d+" -> "<..>"

// Based on https://github.com/rust-lang/rust/issues/107975#issuecomment-1432161340

#[inline(never)]
fn cmp(a: usize, b: usize) -> bool {
a == b
}

#[inline(always)]
fn cmp_in(a: usize, b: usize) -> bool {
a == b
}

fn main() {
let a = {
let v = 0;
&v as *const _ as usize
};
let b = {
let v = 0;
&v as *const _ as usize
};
println!("{a:?} == {b:?} -> ==: {}, cmp_in: {}, cmp: {}", a == b, cmp_in(a, b), cmp(a, b));
assert_eq!(a.to_string(), b.to_string());
}
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<..> == <..> -> ==: false, cmp_in: false, cmp: true
30 changes: 30 additions & 0 deletions tests/ui/codegen/equal-pointers-unequal/as-cast/inline2.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass
//@ check-run-results
//@ normalize-stdout-test: "\d+" -> "<..>"

// Based on https://github.com/rust-lang/rust/issues/107975#issuecomment-1432161340

#[inline(never)]
fn cmp(a: usize, b: usize) -> bool {
a == b
}

#[inline(always)]
fn cmp_in(a: usize, b: usize) -> bool {
a == b
}

fn main() {
let a = {
let v = 0;
&v as *const _ as usize
};
let b = {
let v = 0;
&v as *const _ as usize
};
assert_eq!(a.to_string(), b.to_string());
println!("{a:?} == {b:?} -> ==: {}, cmp_in: {}, cmp: {}", a == b, cmp_in(a, b), cmp(a, b));
}
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<..> == <..> -> ==: true, cmp_in: true, cmp: true
22 changes: 22 additions & 0 deletions tests/ui/codegen/equal-pointers-unequal/as-cast/print.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass
//@ check-run-results
//@ normalize-stdout-test: "\d+" -> "<..>"

// https://github.com/rust-lang/rust/issues/107975#issuecomment-1430704499

fn main() {
let a = {
let v = 0;
&v as *const _ as usize
};
let b = {
let v = 0;
&v as *const _ as usize
};

println!("{}", a == b); // prints false
println!("{a}"); // or b
println!("{}", a == b); // prints true
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
false
<..>
true
25 changes: 25 additions & 0 deletions tests/ui/codegen/equal-pointers-unequal/as-cast/print3.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass
//@ check-run-results
//@ normalize-stdout-test: "\d+" -> "<..>"

// https://github.com/rust-lang/rust/issues/107975#issuecomment-1430704499

fn main() {
let a = {
let v = 0;
&v as *const _ as usize
};
let b = {
let v = 0;
&v as *const _ as usize
};

println!("{}", a == b); // false
println!("{}", a == b); // false
let c = a;
println!("{} {} {}", a == b, a == c, b == c); // false true false
println!("{a} {b}");
println!("{} {} {}", a == b, a == c, b == c); // true true true
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
false
false
false true false
<..> <..>
true true true
65 changes: 65 additions & 0 deletions tests/ui/codegen/equal-pointers-unequal/as-cast/segfault.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,65 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass
//@ check-run-results
//@ normalize-stdout-test: "0x[\dabcdef]+" -> "0x<..>"

// https://github.com/rust-lang/rust/issues/107975#issuecomment-1431758601

use std::cell::{Ref, RefCell};

fn main() {
let a: usize = {
let v = 0u8;
&v as *const _ as usize
};
let b: usize = {
let v = 0u8;
&v as *const _ as usize
};
let i: usize = b - a;

// A surprise tool that will help us later.
let arr = [
RefCell::new(Some(Box::new(1u8))),
RefCell::new(None),
RefCell::new(None),
RefCell::new(None),
];

// `i` is not 0
assert_ne!(i, 0);

// Let's borrow the `i`-th element.
// If `i` is out of bounds, indexing will panic.
let r: Ref<Option<Box<u8>>> = arr[i].borrow();

// If we got here, it means `i` was in bounds.
// Now, two options are possible:
// EITHER `i` is not 0 (as we have asserted above),
// so the unwrap will panic, because only the 0-th element is `Some`
// OR the assert lied, `i` *is* 0, and the `unwrap` will not panic.
let r: &Box<u8> = r.as_ref().unwrap();

// If we got here, it means `i` *was* actually 0.
// Let's ignore the fact that the assert has lied
// and try to take a mutable reference to the 0-th element.
// `borrow_mut` should panic, because we are sill holding on
// to a shared `Ref` for the same `RefCell`.
*arr[0].borrow_mut() = None;

// But it doesn't panic!
// We have successfully replaced `Some(Box)` with `None`,
// while holding a shared reference to it.
// No unsafe involved.

// The `Box` has been deallocated by now, so this is a dangling reference!
let r: &u8 = &*r;
println!("{:p}", r);

// The following might segfault. Or it might not.
// Depends on the platform semantics
// and whatever happened to the pointed-to memory after deallocation.
// let u: u8 = *r;
// println!("{u}");
}
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
0x<..>
28 changes: 28 additions & 0 deletions tests/ui/codegen/equal-pointers-unequal/as-cast/zero.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass

// Derived from https://github.com/rust-lang/rust/issues/107975#issuecomment-1431758601

fn main() {
let a: usize = {
let v = 0u8;
&v as *const _ as usize
};
let b: usize = {
let v = 0u8;
&v as *const _ as usize
};

// So, are `a` and `b` equal?

// Let's check their difference.
let i: usize = a - b;
// It's not zero, which means `a` and `b` are not equal.
assert_ne!(i, 0);
// But it looks like zero...
assert_eq!(i.to_string(), "0");
// ...and now it *is* zero?
assert_eq!(i, 0);
// So `a` and `b` are equal after all?
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass

#![feature(exposed_provenance)]

use std::ptr;

fn main() {
let a: usize = {
let v = 0u8;
ptr::from_ref(&v).expose_provenance()
};
let b: usize = {
let v = 0u8;
ptr::from_ref(&v).expose_provenance()
};

// `a` and `b` are not equal.
assert_ne!(a, b);
// But they are the same number.
assert_eq!(format!("{a}"), format!("{b}"));
// And they are equal.
assert_eq!(a, b);
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass

// Based on https://github.com/rust-lang/rust/issues/107975#issuecomment-1434203908

#![feature(exposed_provenance)]

use std::ptr;

fn f() -> usize {
let v = 0;
ptr::from_ref(&v).expose_provenance()
}

fn main() {
let a = f();
let b = f();

// `a` and `b` are not equal.
assert_ne!(a, b);
// But they are the same number.
assert_eq!(format!("{a}"), format!("{b}"));
// And they are equal.
assert_eq!(a, b);
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
//@ known-bug: #107975
//@ compile-flags: -Copt-level=2
//@ run-pass
//@ check-run-results
//@ normalize-stdout-test: "\d+" -> "<..>"

// Based on https://github.com/rust-lang/rust/issues/107975#issuecomment-1432161340

#![feature(exposed_provenance)]

use std::ptr;

#[inline(never)]
fn cmp(a: usize, b: usize) -> bool {
a == b
}

#[inline(always)]
fn cmp_in(a: usize, b: usize) -> bool {
a == b
}

fn main() {
let a: usize = {
let v = 0;
ptr::from_ref(&v).expose_provenance()
};
let b: usize = {
let v = 0;
ptr::from_ref(&v).expose_provenance()
};
println!("{a:?} == {b:?} -> ==: {}, cmp_in: {}, cmp: {}", a == b, cmp_in(a, b), cmp(a, b));
assert_eq!(a.to_string(), b.to_string());
}
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<..> == <..> -> ==: false, cmp_in: false, cmp: true
Loading

0 comments on commit 94e67bc

Please sign in to comment.