diff options
| author | Jakob Kaivo <jkk@ung.org> | 2024-01-30 23:23:22 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2024-01-30 23:23:22 -0500 |
| commit | 9222a64f2e86db0d94b977d79c274d1d07003b0a (patch) | |
| tree | 0d3952b0a30ab85c3fc112d1d10e2391c1be4256 /src/threads/thrd_exit.c | |
| parent | 2a381114dae8832b6ce9459e769533164bb6e4ec (diff) | |
update to 1:1 checked functions
Diffstat (limited to 'src/threads/thrd_exit.c')
| -rw-r--r-- | src/threads/thrd_exit.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/threads/thrd_exit.c b/src/threads/thrd_exit.c index 117b63c2..0ccca6a7 100644 --- a/src/threads/thrd_exit.c +++ b/src/threads/thrd_exit.c @@ -9,6 +9,8 @@ _Noreturn void thrd_exit(int res) pthread_exit(&res); } +__vcheck_1(thrd_exit, int) + /* STDC(201112) */ |