__attribute__((noinline))
static void sys_modctl(void)
{
- GO(SYS_modctl, "(MODLOAD) 3s 1m");
- SY(SYS_modctl, x0 + MODLOAD, x0 - 1, x0 + 1); FAIL;
+ GO(SYS_modctl, "(MODLOAD) 4s 1m");
+ SY(SYS_modctl, x0 + MODLOAD, x0 + 1, x0 - 1, x0 - 1); FAIL;
}
__attribute__((noinline))
...
---------------------------------------------------------
-152: SYS_modctl (MODLOAD) 3s 1m
+152: SYS_modctl (MODLOAD) 4s 1m
---------------------------------------------------------
Syscall param modctl_modload(cmd) contains uninitialised byte(s)
...
Syscall param modctl_modload(filename) contains uninitialised byte(s)
...
+Syscall param modctl_modload(rvp) contains uninitialised byte(s)
+ ...
+
Syscall param modctl(filaneme) points to unaddressable byte(s)
...
Address 0x........ is not stack'd, malloc'd or (recently) free'd
+Syscall param modctl(rvp) points to unaddressable byte(s)
+ ...
+ Address 0x........ is not stack'd, malloc'd or (recently) free'd
+
---------------------------------------------------------
152: SYS_modctl (MODUNLOAD) 2s 0m
---------------------------------------------------------