summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lint/lint-strict-provenance-fuzzy-casts.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/lint/lint-strict-provenance-fuzzy-casts.stderr')
-rw-r--r--src/test/ui/lint/lint-strict-provenance-fuzzy-casts.stderr19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/ui/lint/lint-strict-provenance-fuzzy-casts.stderr b/src/test/ui/lint/lint-strict-provenance-fuzzy-casts.stderr
new file mode 100644
index 000000000..c85934aa3
--- /dev/null
+++ b/src/test/ui/lint/lint-strict-provenance-fuzzy-casts.stderr
@@ -0,0 +1,19 @@
+error: strict provenance disallows casting integer `usize` to pointer `*const u8`
+ --> $DIR/lint-strict-provenance-fuzzy-casts.rs:5:20
+ |
+LL | let dangling = 16_usize as *const u8;
+ | ^^^^^^^^^^^^^^^^^^^^^
+ |
+note: the lint level is defined here
+ --> $DIR/lint-strict-provenance-fuzzy-casts.rs:2:9
+ |
+LL | #![deny(fuzzy_provenance_casts)]
+ | ^^^^^^^^^^^^^^^^^^^^^^
+ = help: if you can't comply with strict provenance and don't have a pointer with the correct provenance you can use `std::ptr::from_exposed_addr()` instead
+help: use `.with_addr()` to adjust a valid pointer in the same allocation, to this address
+ |
+LL | let dangling = (...).with_addr(16_usize);
+ | ++++++++++++++++ ~
+
+error: aborting due to previous error
+