Sign in
android
/
toolchain
/
rustc
/
ff3f07ae99a30006dd85b9d73084edd9355c9db6
/
.
/
src
/
tools
/
miri
/
tests
/
compile-fail
/
ptr_offset_int_plus_ptr.rs
blob: b49c758c72f786404ec2fb4390db3eb8cd043ccc [
file
] [
log
] [
blame
]
// error-pattern: pointer value as raw bytes
fn
main
()
{
let
ptr
=
Box
::
into_raw
(
Box
::
new
(
0u32
));
// Can't start with an integer pointer and get to something usable
unsafe
{
let
_val
=
(
1
as
*
mut
u8
).
offset
(
ptr
as
isize
);
}
}