aboutsummaryrefslogtreecommitdiffstats
path: root/lib/libspl
diff options
context:
space:
mode:
authorAlejandro Colomar <[email protected]>2022-03-05 01:25:22 +0100
committerGitHub <[email protected]>2022-03-04 16:25:22 -0800
commitdb7f1a91def6bbaf72dd3e9ad31255efb0bf81ab (patch)
tree1817651092cca3f549bf229436993cb10736706d /lib/libspl
parent06b805067833902613de1871fa01e29fc80c8247 (diff)
Use _Noreturn (C11; GNU89) properly
A function that returns with no value is a different thing from a function that doesn't return at all. Those are two orthogonal concepts, commonly confused. pthread_create(3) expects a pointer to a start routine that has a very precise prototype: void *(*start_routine)(void *); However, other thread functions, such as kernel ones, expect: void (*start_routine)(void *); Providing a different one is incorrect, and has only been working because the ABIs happen to produce a compatible function. We should use '_Noreturn void', since it's the natural type, and then provide a '_Noreturn void *' wrapper for pthread functions. For consistency, replace most cases of __NORETURN or __attribute__((noreturn)) by _Noreturn. _Noreturn is understood by -std=gnu89, so it should be safe to use everywhere. Ref: https://github.com/openzfs/zfs/pull/13110#discussion_r808450136 Ref: https://software.codidact.com/posts/285972 Reviewed-by: Brian Behlendorf <[email protected]> Co-authored-by: Ahelenia ZiemiaƄska <[email protected]> Signed-off-by: Alejandro Colomar <[email protected]> Closes #13120
Diffstat (limited to 'lib/libspl')
-rw-r--r--lib/libspl/include/sys/feature_tests.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/libspl/include/sys/feature_tests.h b/lib/libspl/include/sys/feature_tests.h
index be0721b50..877e0a15a 100644
--- a/lib/libspl/include/sys/feature_tests.h
+++ b/lib/libspl/include/sys/feature_tests.h
@@ -28,7 +28,6 @@
#define _SYS_FEATURE_TESTS_H
#define ____cacheline_aligned
-#define __NORETURN __attribute__((__noreturn__))
#if !defined(zfs_fallthrough) && !defined(_LIBCPP_VERSION)
#if defined(HAVE_IMPLICIT_FALLTHROUGH)