summaryrefslogtreecommitdiffstats
path: root/tests/ui/consts/issue-miri-1910.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/consts/issue-miri-1910.stderr')
-rw-r--r--tests/ui/consts/issue-miri-1910.stderr20
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/ui/consts/issue-miri-1910.stderr b/tests/ui/consts/issue-miri-1910.stderr
new file mode 100644
index 000000000..61865b1da
--- /dev/null
+++ b/tests/ui/consts/issue-miri-1910.stderr
@@ -0,0 +1,20 @@
+error[E0080]: evaluation of constant value failed
+ --> $SRC_DIR/core/src/ptr/mod.rs:LL:COL
+ |
+ = note: unable to copy parts of a pointer from memory at ALLOC
+ |
+ = help: this code performed an operation that depends on the underlying bytes representing a pointer
+ = help: the absolute address of a pointer is not known at compile-time, so such operations are not supported
+note: inside `std::ptr::read::<u8>`
+ --> $SRC_DIR/core/src/ptr/mod.rs:LL:COL
+note: inside `ptr::const_ptr::<impl *const u8>::read`
+ --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
+note: inside `C`
+ --> $DIR/issue-miri-1910.rs:8:5
+ |
+LL | (&foo as *const _ as *const u8).add(one_and_a_half_pointers).read();
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0080`.