fix: warn on fuzzy provenance casts

mkroening · mkroening · commit 5fef33baa16b · 2024-04-04T15:24:12.000+02:00
Signed-off-by: Martin Kröning &lt;martin.kroening@eonerc.rwth-aachen.de&gt;
diff --git a/src/lib.rs b/src/lib.rs
@@ -6,6 +6,7 @@
 #![warn(unsafe_op_in_unsafe_fn)]
 #![warn(clippy::uninlined_format_args)]
 #![warn(clippy::transmute_ptr_to_ptr)]
+#![warn(fuzzy_provenance_casts)]
 #![allow(clippy::missing_safety_doc)]
 #![cfg_attr(
 	any(target_arch = "aarch64", target_arch = "riscv64"),
