| //@ compile-flags: -O -C debug-assertions=yes | |
| #![crate_type = "lib"] | |
| #![feature(strict_provenance)] | |
| #[no_mangle] | |
| pub fn test(src: *const u8, dst: *const u8) -> usize { | |
| // CHECK-LABEL: @test( | |
| // CHECK-NOT: panic | |
| let src_usize = src.addr(); | |
| let dst_usize = dst.addr(); | |
| if src_usize > dst_usize { | |
| return src_usize - dst_usize; | |
| } | |
| return 0; | |
| } |