std: deny(unsafe_op_in_unsafe_fn) but allow sites · model-checking/verify-rust-std@ac0fd27 (original) (raw)

9 files changed

lines changed

Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
1 +#![allow(unsafe_op_in_unsafe_fn)]
2 +
1 3 #[cfg(test)]
2 4 mod tests;
3 5
Original file line number Diff line number Diff line change
@@ -9,6 +9,7 @@
9 9 //! and those without will return a [`String`].
10 10
11 11 #![stable(feature = "env", since = "1.0.0")]
12 +#![allow(unsafe_op_in_unsafe_fn)]
12 13
13 14 #[cfg(test)]
14 15 mod tests;
Original file line number Diff line number Diff line change
@@ -160,6 +160,7 @@
160 160 //! [`from_wide`]: crate::os::windows::ffi::OsStringExt::from_wide "os::windows::ffi::OsStringExt::from_wide"
161 161
162 162 #![stable(feature = "rust1", since = "1.0.0")]
163 +#![allow(unsafe_op_in_unsafe_fn)]
163 164
164 165 #[unstable(feature = "c_str_module", issue = "112134")]
165 166 pub mod c_str;
Original file line number Diff line number Diff line change
@@ -293,6 +293,7 @@
293 293 //! [`Arc`]: crate::sync::Arc
294 294
295 295 #![stable(feature = "rust1", since = "1.0.0")]
296 +#![allow(unsafe_op_in_unsafe_fn)]
296 297
297 298 #[cfg(test)]
298 299 mod tests;
Original file line number Diff line number Diff line change
@@ -252,6 +252,7 @@
252 252 #![allow(internal_features)]
253 253 #![deny(rustc::existing_doc_keyword)]
254 254 #![deny(fuzzy_provenance_casts)]
255 +#![deny(unsafe_op_in_unsafe_fn)]
255 256 #![allow(rustdoc::redundant_explicit_links)]
256 257 // Ensure that std can be linked against panic_abort despite compiled with `-C panic=unwind`
257 258 #![deny(ffi_unwind_calls)]
@@ -664,7 +665,7 @@ pub mod alloc;
664 665 mod panicking;
665 666
666 667 #[path = "../../backtrace/src/lib.rs"]
667 -#[allow(dead_code, unused_attributes, fuzzy_provenance_casts)]
668 +#[allow(dead_code, unused_attributes, fuzzy_provenance_casts, unsafe_op_in_unsafe_fn)]
668 669 mod backtrace_rs;
669 670
670 671 // Re-export macros defined in core.
Original file line number Diff line number Diff line change
@@ -2,6 +2,7 @@
2 2
3 3 #![stable(feature = "os", since = "1.0.0")]
4 4 #![allow(missing_docs, nonstandard_style, missing_debug_implementations)]
5 +#![allow(unsafe_op_in_unsafe_fn)]
5 6
6 7 pub mod raw;
7 8
Original file line number Diff line number Diff line change
@@ -157,6 +157,7 @@
157 157 //! [`RwLock`]: crate::sync::RwLock
158 158
159 159 #![stable(feature = "rust1", since = "1.0.0")]
160 +#![allow(unsafe_op_in_unsafe_fn)]
160 161
161 162 #[stable(feature = "rust1", since = "1.0.0")]
162 163 pub use alloc_crate::sync::{Arc, Weak};
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
1 +#![allow(unsafe_op_in_unsafe_fn)]
2 +
1 3 /// The PAL (platform abstraction layer) contains platform-specific abstractions
2 4 /// for implementing the features in the other submodules, e.g. UNIX file
3 5 /// descriptors.
Original file line number Diff line number Diff line change
@@ -16,6 +16,7 @@
16 16
17 17 #![allow(missing_docs)]
18 18 #![allow(missing_debug_implementations)]
19 +#![allow(unsafe_op_in_unsafe_fn)]
19 20
20 21 #[cfg(test)]
21 22 mod tests;