Merge branch 'verify-systime-includes' into 'master'

verify sys_time header includes

See merge request redox-os/relibc!1398
This commit is contained in:
Jeremy Soller
2026-06-01 05:51:19 -06:00
2 changed files with 11 additions and 6 deletions
+2 -3
View File
@@ -6,14 +6,13 @@
# - "The <sys/select.h> header shall define the timespec structure as described in <time.h>."
# - "Inclusion of the <sys/select.h> header may make visible all symbols from the headers <signal.h> and <time.h>."
#
# bits/timeval.h brings in time_t and suseconds_t so no need to include all of sys/types.h.
sys_includes = []
# bits/timeval.h brings in time_t and suseconds_t from sys/types.h.
include_guard = "_RELIBC_SYS_SELECT_H"
# FD_SETSIZE and fd_set is also defined in C (below) because cbindgen is incompatible with mem::size_of
after_includes = """
#include <bits/sigset-t.h> // for sigset_t from signal.h
#include <bits/timespec.h> // for timespec from time.h
#include <bits/timeval.h> // for timeval
#include <bits/timeval.h> // for timeval
// from musl license MIT {
#define FD_SETSIZE 1024
+9 -3
View File
@@ -1,8 +1,14 @@
# sys/select brings in bits/timespec.h
# bits/timespec.h brings in time_t
# POSIX header spec: https://pubs.opengroup.org/onlinepubs/9799919799/basedefs/sys_time.h.html
#
# Spec quotations relating to includes:
# - "The <sys/time.h> header shall define the fd_set type and the timeval structure, as described in <sys/select.h>."
# - "The <sys/time.h> header shall define the time_t and suseconds_t types as described in <sys/types.h>."
# - "The <sys/time.h> header shall define the following as described in <sys/select.h>: FD_CLR() FD_ISSET() FD_SET() FD_ZERO() FD_SETSIZE"
# - "Inclusion of the <sys/time.h> header may make visible all symbols from the <sys/select.h> header."
#
# sys/select brings in bits/timeval.h
# bits/timeval.h brings in time_t and suseconds_t
# features.h needed for #[deprecated] annotations
# features.h needed for deprecated annotations
sys_includes = ["sys/select.h", "features.h"]
include_guard = "_RELIBC_SYS_TIME_H"
language = "C"