diff options
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) */ |