Skip to content

Commit b7391a7

Browse files
committed
Auto merge of #1985 - RalfJung:fn-ptr, r=RalfJung
update fn ptr tests This adjusts the tests for rust-lang/rust#94343.
2 parents 538aedf + 44a0b67 commit b7391a7

File tree

5 files changed

+6
-15
lines changed

5 files changed

+6
-15
lines changed

rust-version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
3d127e2040b57157936f5f24e114a8b4c9a505ef
1+
9f8f0a6e9484fe25517c082a5cbe1e9edb17c8a8

src/diagnostics.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@ fn report_msg<'tcx>(
254254
) {
255255
let span = stacktrace.first().map_or(DUMMY_SP, |fi| fi.span);
256256
let mut err = match diag_level {
257-
DiagLevel::Error => tcx.sess.struct_span_err(span, title),
257+
DiagLevel::Error => tcx.sess.struct_span_err(span, title).forget_guarantee(),
258258
DiagLevel::Warning => tcx.sess.struct_span_warn(span, title),
259259
DiagLevel::Note => tcx.sess.diagnostic().span_note_diag(span, title),
260260
};

tests/compile-fail/validity/fn_ptr_offset.rs

-10
This file was deleted.
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
#![allow(invalid_value)]
22

33
fn main() {
4-
let _b: fn() = unsafe { std::mem::transmute(0usize) }; //~ ERROR encountered a potentially null function pointer
4+
let _b: fn() = unsafe { std::mem::transmute(0usize) }; //~ ERROR encountered a null function pointer
55
}

tests/run-pass/function_pointers.rs

+3-2
Original file line numberDiff line numberDiff line change
@@ -62,9 +62,10 @@ fn main() {
6262
// Any non-null value is okay for function pointers.
6363
unsafe {
6464
let _x: fn() = mem::transmute(1usize);
65-
let mut b = Box::new(42);
66-
let ptr = &mut *b as *mut _;
65+
let mut b = Box::new(42u8);
66+
let ptr = &mut *b as *mut u8;
6767
drop(b);
6868
let _x: fn() = mem::transmute(ptr);
69+
let _x: fn() = mem::transmute(ptr.wrapping_offset(1));
6970
}
7071
}

0 commit comments

Comments
 (0)