Add some missing [[noreturn]] attributes
authorNoah Goldstein <goldstein.w.n@gmail.com>
Mon, 22 May 2023 20:43:37 +0000 (15:43 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Mon, 22 May 2023 20:54:19 +0000 (15:54 -0500)
Missing in header for `pthread_exit` and `exit`.

Missing in spec file for `pthread_exit`.

Reviewed By: sivachandra

Differential Revision: https://reviews.llvm.org/D151143

libc/spec/posix.td
libc/src/pthread/pthread_exit.h
libc/src/stdlib/exit.h

index b1aa2fb..ee17de8 100644 (file)
@@ -984,7 +984,7 @@ def POSIX : StandardSpec<"POSIX"> {
       >,
       FunctionSpec<
           "pthread_exit",
-          RetValSpec<VoidType>,
+          RetValSpec<NoReturn>,
           [ArgSpec<VoidPtr>]
       >,
       FunctionSpec<
index dd22c57..d8bdbb3 100644 (file)
@@ -13,7 +13,7 @@
 
 namespace __llvm_libc {
 
-void pthread_exit(void *retval);
+[[noreturn]] void pthread_exit(void *retval);
 
 } // namespace __llvm_libc
 
index 7c015e3..fb3b20d 100644 (file)
@@ -13,7 +13,7 @@
 
 namespace __llvm_libc {
 
-void exit(int status);
+[[noreturn]] void exit(int status);
 
 } // namespace __llvm_libc