qiurui
/
asterinas
mirror of https://github.com/asterinas/asterinas.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove assert in `check_segment_align`

This commit is contained in:
Marsman1996 2024-11-30 16:14:07 +08:00 committed by Tate, Hongliang Tian
parent 80cd1b69f7
commit d44737360f
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kernel/src/process/program_loader/elf/load_elf.rs
View File

@ -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.");
}