mirror of
git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
synced 2025-08-05 16:54:27 +00:00

The compiler does not know that waitid() will only ever return 0 or -1.
If waitid() would return a positive value than waitpid() would return that
same value and *status would not be initialized.
However users calling waitpid() know that the only possible return values
of it are 0 or -1. They therefore might check for errors with
'ret == -1' or 'ret < 0' and use *status otherwise. The compiler will then
warn about the usage of a potentially uninitialized variable.
Example:
$ cat test.c
#include <stdio.h>
#include <unistd.h>
int main(void)
{
int ret, status;
ret = waitpid(0, &status, 0);
if (ret == -1)
return 0;
printf("status %x\n", status);
return 0;
}
$ gcc --version
gcc (GCC) 15.1.1 20250425
$ gcc -Wall -Os -Werror -nostdlib -nostdinc -static -Iusr/include -Itools/include/nolibc/ -o /dev/null test.c
test.c: In function ‘main’:
test.c:12:9: error: ‘status’ may be used uninitialized [-Werror=maybe-uninitialized]
12 | printf("status %x\n", status);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
test.c:6:18: note: ‘status’ was declared here
6 | int ret, status;
| ^~~~~~
cc1: all warnings being treated as errors
Avoid the warning by normalizing waitid() errors to '-1' in waitpid().
Fixes: 0c89abf5ab
("tools/nolibc: implement waitpid() in terms of waitid()")
Signed-off-by: Thomas Weißschuh <thomas.weissschuh@linutronix.de>
Acked-by: Willy Tarreau <w@1wt.eu>
Link: https://lore.kernel.org/r/20250707-nolibc-waitpid-uninitialized-v1-1-dcd4e70bcd8f@linutronix.de
Signed-off-by: Thomas Weißschuh <linux@weissschuh.net>
116 lines
2.4 KiB
C
116 lines
2.4 KiB
C
/* SPDX-License-Identifier: LGPL-2.1 OR MIT */
|
|
/*
|
|
* wait definitions for NOLIBC
|
|
* Copyright (C) 2017-2021 Willy Tarreau <w@1wt.eu>
|
|
*/
|
|
|
|
/* make sure to include all global symbols */
|
|
#include "../nolibc.h"
|
|
|
|
#ifndef _NOLIBC_SYS_WAIT_H
|
|
#define _NOLIBC_SYS_WAIT_H
|
|
|
|
#include "../arch.h"
|
|
#include "../std.h"
|
|
#include "../types.h"
|
|
|
|
/*
|
|
* pid_t wait(int *status);
|
|
* pid_t wait4(pid_t pid, int *status, int options, struct rusage *rusage);
|
|
* pid_t waitpid(pid_t pid, int *status, int options);
|
|
* int waitid(idtype_t idtype, id_t id, siginfo_t *infop, int options);
|
|
*/
|
|
|
|
static __attribute__((unused))
|
|
pid_t sys_wait4(pid_t pid, int *status, int options, struct rusage *rusage)
|
|
{
|
|
#ifdef __NR_wait4
|
|
return my_syscall4(__NR_wait4, pid, status, options, rusage);
|
|
#else
|
|
return __nolibc_enosys(__func__, pid, status, options, rusage);
|
|
#endif
|
|
}
|
|
|
|
static __attribute__((unused))
|
|
pid_t wait4(pid_t pid, int *status, int options, struct rusage *rusage)
|
|
{
|
|
return __sysret(sys_wait4(pid, status, options, rusage));
|
|
}
|
|
|
|
static __attribute__((unused))
|
|
int sys_waitid(int which, pid_t pid, siginfo_t *infop, int options, struct rusage *rusage)
|
|
{
|
|
return my_syscall5(__NR_waitid, which, pid, infop, options, rusage);
|
|
}
|
|
|
|
static __attribute__((unused))
|
|
int waitid(int which, pid_t pid, siginfo_t *infop, int options)
|
|
{
|
|
return __sysret(sys_waitid(which, pid, infop, options, NULL));
|
|
}
|
|
|
|
|
|
static __attribute__((unused))
|
|
pid_t waitpid(pid_t pid, int *status, int options)
|
|
{
|
|
int idtype, ret;
|
|
siginfo_t info;
|
|
pid_t id;
|
|
|
|
if (pid == INT_MIN) {
|
|
SET_ERRNO(ESRCH);
|
|
return -1;
|
|
} else if (pid < -1) {
|
|
idtype = P_PGID;
|
|
id = -pid;
|
|
} else if (pid == -1) {
|
|
idtype = P_ALL;
|
|
id = 0;
|
|
} else if (pid == 0) {
|
|
idtype = P_PGID;
|
|
id = 0;
|
|
} else {
|
|
idtype = P_PID;
|
|
id = pid;
|
|
}
|
|
|
|
options |= WEXITED;
|
|
|
|
ret = waitid(idtype, id, &info, options);
|
|
if (ret)
|
|
return -1;
|
|
|
|
switch (info.si_code) {
|
|
case 0:
|
|
*status = 0;
|
|
break;
|
|
case CLD_EXITED:
|
|
*status = (info.si_status & 0xff) << 8;
|
|
break;
|
|
case CLD_KILLED:
|
|
*status = info.si_status & 0x7f;
|
|
break;
|
|
case CLD_DUMPED:
|
|
*status = (info.si_status & 0x7f) | 0x80;
|
|
break;
|
|
case CLD_STOPPED:
|
|
case CLD_TRAPPED:
|
|
*status = (info.si_status << 8) + 0x7f;
|
|
break;
|
|
case CLD_CONTINUED:
|
|
*status = 0xffff;
|
|
break;
|
|
default:
|
|
return -1;
|
|
}
|
|
|
|
return info.si_pid;
|
|
}
|
|
|
|
static __attribute__((unused))
|
|
pid_t wait(int *status)
|
|
{
|
|
return waitpid(-1, status, 0);
|
|
}
|
|
|
|
#endif /* _NOLIBC_SYS_WAIT_H */
|