From 784b34f236f222bd3353d174bedd89a35c553074 Mon Sep 17 00:00:00 2001
From: auronandace <auronandace@googlemail.com>
Date: Mon, 1 Jun 2026 10:04:03 +0100
Subject: [PATCH] verify semaphore header includes

---
 src/header/semaphore/cbindgen.toml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/header/semaphore/cbindgen.toml b/src/header/semaphore/cbindgen.toml
index 06159c85b2..30f09127b7 100644
--- a/src/header/semaphore/cbindgen.toml
+++ b/src/header/semaphore/cbindgen.toml
@@ -1,4 +1,11 @@
-# fcntl.h brings in O_CREAT and O_EXCL
+# POSIX header spec: https://pubs.opengroup.org/onlinepubs/9799919799/basedefs/semaphore.h.html
+#
+# Spec quotations relating to includes:
+# - "The <semaphore.h> header shall define the timespec structure as described in <time.h>."
+# - "The <semaphore.h> header shall define O_CREAT and O_EXCL as described in <fcntl.h>."
+# - "Inclusion of the <semaphore.h> header may make visible symbols defined in the <fcntl.h> and <time.h> headers."
+#
+# bits/clockid-t.h brings in clockid_t directly instead of indirectly from time.h for sem_clockwait
 sys_includes = ["fcntl.h"]
 include_guard = "_RELIBC_SEMAPHORE_H"
 after_includes = """