Mark a couple of big-endian-only functions as certified

jyn514 · jyn514 · commit 2592e1247ea1 · 2026-04-29T14:29:40.000+02:00
These weren't tested before, since we only generated our report for
x86_64-linux-gnu.
diff --git a/ferrocene/doc/symbol-report.csv b/ferrocene/doc/symbol-report.csv
@@ -6971,6 +6971,7 @@ core::num::<impl i128>::saturating_div
 core::num::<impl i128>::saturating_mul
 core::num::<impl i128>::saturating_neg
 core::num::<impl i128>::saturating_sub
+core::num::<impl i128>::swap_bytes
 core::num::<impl i128>::to_le
 core::num::<impl i128>::to_le_bytes
 core::num::<impl i128>::to_ne_bytes
@@ -7031,6 +7032,7 @@ core::num::<impl i16>::saturating_div
 core::num::<impl i16>::saturating_mul
 core::num::<impl i16>::saturating_neg
 core::num::<impl i16>::saturating_sub
+core::num::<impl i16>::swap_bytes
 core::num::<impl i16>::to_le
 core::num::<impl i16>::to_le_bytes
 core::num::<impl i16>::to_ne_bytes
@@ -7091,6 +7093,7 @@ core::num::<impl i32>::saturating_div
 core::num::<impl i32>::saturating_mul
 core::num::<impl i32>::saturating_neg
 core::num::<impl i32>::saturating_sub
+core::num::<impl i32>::swap_bytes
 core::num::<impl i32>::to_le
 core::num::<impl i32>::to_le_bytes
 core::num::<impl i32>::to_ne_bytes
@@ -7151,6 +7154,7 @@ core::num::<impl i64>::saturating_div
 core::num::<impl i64>::saturating_mul
 core::num::<impl i64>::saturating_neg
 core::num::<impl i64>::saturating_sub
+core::num::<impl i64>::swap_bytes
 core::num::<impl i64>::to_le
 core::num::<impl i64>::to_le_bytes
 core::num::<impl i64>::to_ne_bytes
@@ -7211,6 +7215,7 @@ core::num::<impl i8>::saturating_div
 core::num::<impl i8>::saturating_mul
 core::num::<impl i8>::saturating_neg
 core::num::<impl i8>::saturating_sub
+core::num::<impl i8>::swap_bytes
 core::num::<impl i8>::to_le
 core::num::<impl i8>::to_le_bytes
 core::num::<impl i8>::to_ne_bytes
@@ -7271,6 +7276,7 @@ core::num::<impl isize>::saturating_div
 core::num::<impl isize>::saturating_mul
 core::num::<impl isize>::saturating_neg
 core::num::<impl isize>::saturating_sub
+core::num::<impl isize>::swap_bytes
 core::num::<impl isize>::to_le
 core::num::<impl isize>::to_le_bytes
 core::num::<impl isize>::to_ne_bytes
diff --git a/library/core/src/mem/alignment.rs b/library/core/src/mem/alignment.rs
@@ -350,6 +350,7 @@ impl const Default for Alignment {
 #[derive(Copy)]
 #[derive_const(Clone, PartialEq, Eq)]
 #[repr(usize)]
+#[ferrocene::prevalidated]
 enum AlignmentEnum {
     _Align1Shl0 = 1 << 0,
     _Align1Shl1 = 1 << 1,
@@ -373,6 +374,7 @@ enum AlignmentEnum {
 #[derive(Copy)]
 #[derive_const(Clone, PartialEq, Eq)]
 #[repr(usize)]
+#[ferrocene::prevalidated]
 enum AlignmentEnum {
     _Align1Shl0 = 1 << 0,
     _Align1Shl1 = 1 << 1,
diff --git a/library/core/src/num/int_macros.rs b/library/core/src/num/int_macros.rs
@@ -344,6 +344,7 @@ macro_rules! int_impl {
         #[must_use = "this returns the result of the operation, \
                       without modifying the original"]
         #[inline(always)]
+        #[ferrocene::prevalidated]
         pub const fn swap_bytes(self) -> Self {
             (self as $UnsignedT).swap_bytes() as Self
         }

Original file line number	Diff line number	Diff line change
`@@ -344,6 +344,7 @@ macro_rules! int_impl {`
`344`	`344`	`#[must_use = "this returns the result of the operation, \`
`345`	`345`	`without modifying the original"]`
`346`	`346`	`#[inline(always)]`
	`347`	`+ #[ferrocene::prevalidated]`
`347`	`348`	`pub const fn swap_bytes(self) -> Self {`
`348`	`349`	`(self as $UnsignedT).swap_bytes() as Self`
`349`	`350`	`}`