diff --git a/kernel/src/process/program_loader/elf/load_elf.rs b/kernel/src/process/program_loader/elf/load_elf.rs index 6dd6e714c..1ff426ed1 100644 --- a/kernel/src/process/program_loader/elf/load_elf.rs +++ b/kernel/src/process/program_loader/elf/load_elf.rs @@ -370,11 +370,9 @@ fn check_segment_align(program_header: &ProgramHeader64) -> Result<()> { // no align requirement return Ok(()); } - debug_assert!(align.is_power_of_two()); if !align.is_power_of_two() { return_errno_with_message!(Errno::ENOEXEC, "segment align is invalid."); } - debug_assert!(program_header.offset % align == program_header.virtual_addr % align); if program_header.offset % align != program_header.virtual_addr % align { return_errno_with_message!(Errno::ENOEXEC, "segment align is not satisfied."); }