libsel4muslcsys: fix va list leak in failure case

va_start/va_end should call in pair Signed-off-by: chao an <[email protected]>
seL4 · Nov 1, 2023 · d5fa7fe · d5fa7fe
1 parent f8aabb6
commit d5fa7fe
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/libsel4muslcsys/src/vsyscall.c b/libsel4muslcsys/src/vsyscall.c
@@ -271,6 +271,7 @@ long sel4_vsyscall(long sysnum, ...)
         int index = find_sparse_syscall(sysnum);
         if (index < 0) {
             debug_error(sysnum);
+            va_end(al);
             return -ENOSYS;
         }
         syscall = sparse_syscall_table[index].syscall;
@@ -280,6 +281,7 @@ long sel4_vsyscall(long sysnum, ...)
     /* Check a syscall is implemented there */
     if (!syscall) {
         debug_error(sysnum);
+        va_end(al);
         return -ENOSYS;
     }
     /* Call it */