From 42470d91bb871eea311e5fcb81a5351f4dfc8595 Mon Sep 17 00:00:00 2001
From: Sebastian <versat@users.noreply.github.com>
Date: Wed, 16 Oct 2019 12:13:16 +0200
Subject: [PATCH] std.cfg: Add support for C11 functions thrd_*() and mtx_*()
 (#2270)

* std.cfg: Add support for C11 function thrd_exit().

Reference: https://en.cppreference.com/w/c/thread/thrd_exit

* std.cfg: Add rest of thrd_*() functions and the mtx_*() functions
---
 cfg/std.cfg | 153 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 153 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 089e58d4c..8fce1b512 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -7594,6 +7594,159 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
       <not-uninit/>
     </arg>
   </function>
+  <!-- C Threads https://en.cppreference.com/w/c/thread -->
+  <!-- int thrd_create( thrd_t *thr, thrd_start_t func, void *arg ); // since C11 -->
+  <function name="thrd_create">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="out">
+      <not-null/>
+    </arg>
+    <arg nr="2"/>
+    <arg nr="3"/>
+  </function>
+  <!-- thrd_t thrd_current(void); // since C11 -->
+  <function name="thrd_current">
+    <noreturn>false</noreturn>
+    <returnValue type="thrd_t"/>
+    <use-retval/>
+  </function>
+  <!-- int thrd_detach( thrd_t thr ); // since C11 -->
+  <function name="thrd_detach">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int thrd_equal( thrd_t lhs, thrd_t rhs ); // since C11 -->
+  <function name="thrd_equal">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <use-retval/>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- _Noreturn void thrd_exit( int res ); // since C11 -->
+  <function name="thrd_exit">
+    <noreturn>true</noreturn>
+    <returnValue type="void"/>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int thrd_join( thrd_t thr, int *res ); // since C11 -->
+  <function name="thrd_join">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="out">
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int thrd_sleep( const struct timespec* duration, struct timespec* remaining ); // since C11 -->
+  <function name="thrd_sleep">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="out">
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- void thrd_yield(void); // since C11 -->
+  <function name="thrd_yield">
+    <noreturn>false</noreturn>
+    <returnValue type="void"/>
+  </function>
+  <!-- Mutual exclusion https://en.cppreference.com/w/c/thread -->
+  <!-- void mtx_destroy( mtx_t *mutex ); // since C11 -->
+  <function name="mtx_destroy">
+    <noreturn>false</noreturn>
+    <returnValue type="void"/>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int mtx_init( mtx_t* mutex, int type ); // since C11 -->
+  <function name="mtx_init">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="out">
+      <not-null/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int mtx_lock( mtx_t* mutex ); // since C11 -->
+  <function name="mtx_lock">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int mtx_timedlock( mtx_t *restrict mutex, const struct timespec *restrict time_point ); // since C11 -->
+  <function name="mtx_timedlock">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int mtx_trylock( mtx_t *mutex ); // since C11 -->
+  <function name="mtx_trylock">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int mtx_unlock( mtx_t *mutex ); // since C11 -->
+  <function name="mtx_unlock">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <memory>
     <alloc init="false" buffer-size="malloc">malloc</alloc>
     <alloc init="true" buffer-size="calloc">calloc</alloc>