Changes in kernel/generic/src/mm/backend_elf.c [8f80c77:917a8c8] in mainline

File:

• kernel/generic/src/mm/backend_elf.c (modified) (1 diff)

kernel/generic/src/mm/backend_elf.c

@@ -91 +91 @@
         if (!as_area_check_access(area, access))
                 return AS_PF_FAULT;
-
-        ASSERT((addr >= ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) &&
-            (addr < entry->p_vaddr + entry->p_memsz));
+        
+        if (addr < ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE))
+                return AS_PF_FAULT;
+        
+        if (addr >= entry->p_vaddr + entry->p_memsz)
+                return AS_PF_FAULT;
+        
         i = (addr - ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) >> PAGE_WIDTH;
         base = (uintptr_t)