There was an error while loading. Please reload this page.
1 parent 34f28a8 commit bfa4aaaCopy full SHA for bfa4aaa
1 file changed
arch/cortex-m/src/mpu.rs
@@ -869,10 +869,6 @@ impl mpu::RegionDescriptor for CortexMRegion {
869
let mut underlying_region_size =
870
next_aligned_power_of_two(region_start.as_usize(), min_region_size / 2)?;
871
872
-
873
- flux_rs::assert(underlying_region_size >= min_region_size / 2);
874
- flux_rs::assert(underlying_region_size * 2 >= min_region_size);
875
876
theorem_pow2_octet(underlying_region_size);
877
theorem_div_octet(underlying_region_size);
878
0 commit comments