2 * SPDX-License-Identifier: BSD-3-Clause
4 * Copyright (c) 1991, 1993
5 * The Regents of the University of California. All rights reserved.
7 * This code is derived from software contributed to Berkeley by
8 * Berkeley Software Design, Inc.
10 * Redistribution and use in source and binary forms, with or without
11 * modification, are permitted provided that the following conditions
13 * 1. Redistributions of source code must retain the above copyright
14 * notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in the
17 * documentation and/or other materials provided with the distribution.
18 * 3. Neither the name of the University nor the names of its contributors
19 * may be used to endorse or promote products derived from this software
20 * without specific prior written permission.
22 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
38 #if defined(_KERNEL) && defined(_STANDALONE)
39 #error "_KERNEL and _STANDALONE are mutually exclusive"
43 * Testing against Clang-specific extensions.
45 #ifndef __has_attribute
46 #define __has_attribute(x) 0
48 #ifndef __has_extension
49 #define __has_extension __has_feature
52 #define __has_feature(x) 0
55 #define __has_include(x) 0
58 #define __has_builtin(x) 0
61 #if defined(__cplusplus)
62 #define __BEGIN_DECLS extern "C" {
70 * This code has been put in place to help reduce the addition of
71 * compiler specific defines in FreeBSD code. It helps to aid in
72 * having a compiler-agnostic source tree.
76 * Macro to test if we're using a specific version of gcc or later.
79 #define __GNUC_PREREQ__(ma, mi) \
80 (__GNUC__ > (ma) || __GNUC__ == (ma) && __GNUC_MINOR__ >= (mi))
82 #define __GNUC_PREREQ__(ma, mi) 0
88 * Compiler memory barriers, specific to gcc and clang.
90 #define __compiler_membar() __asm __volatile(" " : : : "memory")
92 #define __CC_SUPPORTS___INLINE 1
97 * The __CONCAT macro is used to concatenate parts of symbol names, e.g.
98 * with "#define OLD(foo) __CONCAT(old,foo)", OLD(foo) produces oldfoo.
99 * The __CONCAT macro is a bit tricky to use if it must work in non-ANSI
100 * mode -- there must be no spaces between its arguments, and for nested
101 * __CONCAT's, all the __CONCAT's must be at the left. __CONCAT can also
102 * concatenate double-quoted strings produced by the __STRING macro, but
103 * this only works with ANSI C.
105 * __XSTRING is like __STRING, but it expands any macros in its argument
106 * first. It is only available with ANSI C.
108 #if defined(__STDC__) || defined(__cplusplus)
109 #define __P(protos) protos /* full-blown ANSI C */
110 #define __CONCAT1(x,y) x ## y
111 #define __CONCAT(x,y) __CONCAT1(x,y)
112 #define __STRING(x) #x /* stringify without expanding x */
113 #define __XSTRING(x) __STRING(x) /* expand x, then stringify */
115 #define __const const /* define reserved names to standard */
116 #define __signed signed
117 #define __volatile volatile
118 #if defined(__cplusplus)
119 #define __inline inline /* convert to C++ keyword */
121 #if !(defined(__CC_SUPPORTS___INLINE))
122 #define __inline /* delete GCC keyword */
123 #endif /* ! __CC_SUPPORTS___INLINE */
124 #endif /* !__cplusplus */
126 #else /* !(__STDC__ || __cplusplus) */
127 #define __P(protos) () /* traditional C preprocessor */
128 #define __CONCAT(x,y) x/**/y
129 #define __STRING(x) "x"
131 #if !defined(__CC_SUPPORTS___INLINE)
132 #define __const /* delete pseudo-ANSI C keywords */
137 * In non-ANSI C environments, new programs will want ANSI-only C keywords
138 * deleted from the program and old programs will want them left alone.
139 * When using a compiler other than gcc, programs using the ANSI C keywords
140 * const, inline etc. as normal identifiers should define -DNO_ANSI_KEYWORDS.
141 * When using "gcc -traditional", we assume that this is the intent; if
142 * __GNUC__ is defined but __STDC__ is not, we leave the new keywords alone.
144 #ifndef NO_ANSI_KEYWORDS
145 #define const /* delete ANSI C keywords */
149 #endif /* !NO_ANSI_KEYWORDS */
150 #endif /* !__CC_SUPPORTS___INLINE */
151 #endif /* !(__STDC__ || __cplusplus) */
154 * Compiler-dependent macros to help declare dead (non-returning) and
155 * pure (no side effects) functions, and unused variables. They are
156 * null except for versions of gcc that are known to support the features
157 * properly (old versions of gcc-2 supported the dead and pure features
158 * in a different (wrong) way). If we do not provide an implementation
159 * for a given compiler, let the compile fail if it is told to use
160 * a feature that we cannot live without.
162 #define __weak_symbol __attribute__((__weak__))
163 #if !__GNUC_PREREQ__(2, 5)
168 #if __GNUC__ == 2 && __GNUC_MINOR__ >= 5 && __GNUC_MINOR__ < 7
169 #define __dead2 __attribute__((__noreturn__))
170 #define __pure2 __attribute__((__const__))
172 /* XXX Find out what to do for __packed, __aligned and __section */
174 #if __GNUC_PREREQ__(2, 7)
175 #define __dead2 __attribute__((__noreturn__))
176 #define __pure2 __attribute__((__const__))
177 #define __unused __attribute__((__unused__))
178 #define __used __attribute__((__used__))
179 #define __packed __attribute__((__packed__))
180 #define __aligned(x) __attribute__((__aligned__(x)))
181 #define __section(x) __attribute__((__section__(x)))
183 #if __GNUC_PREREQ__(4, 3) || __has_attribute(__alloc_size__)
184 #define __alloc_size(x) __attribute__((__alloc_size__(x)))
185 #define __alloc_size2(n, x) __attribute__((__alloc_size__(n, x)))
187 #define __alloc_size(x)
188 #define __alloc_size2(n, x)
190 #if __GNUC_PREREQ__(4, 9) || __has_attribute(__alloc_align__)
191 #define __alloc_align(x) __attribute__((__alloc_align__(x)))
193 #define __alloc_align(x)
196 #if !__GNUC_PREREQ__(2, 95)
197 #define __alignof(x) __offsetof(struct { char __a; x __b; }, __b)
201 * Keywords added in C11.
204 #if !defined(__STDC_VERSION__) || __STDC_VERSION__ < 201112L
206 #if !__has_extension(c_alignas)
207 #if (defined(__cplusplus) && __cplusplus >= 201103L) || \
208 __has_extension(cxx_alignas)
209 #define _Alignas(x) alignas(x)
211 /* XXX: Only emulates _Alignas(constant-expression); not _Alignas(type-name). */
212 #define _Alignas(x) __aligned(x)
216 #if defined(__cplusplus) && __cplusplus >= 201103L
217 #define _Alignof(x) alignof(x)
219 #define _Alignof(x) __alignof(x)
222 #if !defined(__cplusplus) && !__has_extension(c_atomic) && \
223 !__has_extension(cxx_atomic) && !__GNUC_PREREQ__(4, 7)
225 * No native support for _Atomic(). Place object in structure to prevent
226 * most forms of direct non-atomic access.
228 #define _Atomic(T) struct { T volatile __val; }
231 #if defined(__cplusplus) && __cplusplus >= 201103L
232 #define _Noreturn [[noreturn]]
234 #define _Noreturn __dead2
237 #if !__has_extension(c_static_assert)
238 #if (defined(__cplusplus) && __cplusplus >= 201103L) || \
239 __has_extension(cxx_static_assert)
240 #define _Static_assert(x, y) static_assert(x, y)
241 #elif __GNUC_PREREQ__(4,6) && !defined(__cplusplus)
242 /* Nothing, gcc 4.6 and higher has _Static_assert built-in */
243 #elif defined(__COUNTER__)
244 #define _Static_assert(x, y) __Static_assert(x, __COUNTER__)
245 #define __Static_assert(x, y) ___Static_assert(x, y)
246 #define ___Static_assert(x, y) typedef char __assert_ ## y[(x) ? 1 : -1] \
249 #define _Static_assert(x, y) struct __hack
253 #if !__has_extension(c_thread_local)
255 * XXX: Some compilers (Clang 3.3, GCC 4.7) falsely announce C++11 mode
256 * without actually supporting the thread_local keyword. Don't check for
257 * the presence of C++11 when defining _Thread_local.
259 #if /* (defined(__cplusplus) && __cplusplus >= 201103L) || */ \
260 __has_extension(cxx_thread_local)
261 #define _Thread_local thread_local
263 #define _Thread_local __thread
267 #endif /* __STDC_VERSION__ || __STDC_VERSION__ < 201112L */
270 * Emulation of C11 _Generic(). Unlike the previously defined C11
271 * keywords, it is not possible to implement this using exactly the same
272 * syntax. Therefore implement something similar under the name
273 * __generic(). Unlike _Generic(), this macro can only distinguish
274 * between a single type, so it requires nested invocations to
275 * distinguish multiple cases.
277 * Note that the comma operator is used to force expr to decay in
278 * order to match _Generic().
281 #if (defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L) || \
282 __has_extension(c_generic_selections)
283 #define __generic(expr, t, yes, no) \
284 _Generic(expr, t: yes, default: no)
285 #elif __GNUC_PREREQ__(3, 1) && !defined(__cplusplus)
286 #define __generic(expr, t, yes, no) \
287 __builtin_choose_expr( \
288 __builtin_types_compatible_p(__typeof((0, (expr))), t), yes, no)
292 * C99 Static array indices in function parameter declarations. Syntax such as:
293 * void bar(int myArray[static 10]);
294 * is allowed in C99 but not in C++. Define __min_size appropriately so
295 * headers using it can be compiled in either language. Use like this:
296 * void bar(int myArray[__min_size(10)]);
298 #if !defined(__cplusplus) && \
299 (defined(__clang__) || __GNUC_PREREQ__(4, 6)) && \
300 (!defined(__STDC_VERSION__) || (__STDC_VERSION__ >= 199901))
301 #define __min_size(x) static (x)
303 #define __min_size(x) (x)
306 #if __GNUC_PREREQ__(2, 96)
307 #define __malloc_like __attribute__((__malloc__))
308 #define __pure __attribute__((__pure__))
310 #define __malloc_like
314 #if __GNUC_PREREQ__(3, 1)
315 #define __always_inline __attribute__((__always_inline__))
317 #define __always_inline
320 #if __GNUC_PREREQ__(3, 1)
321 #define __noinline __attribute__ ((__noinline__))
326 #if __GNUC_PREREQ__(3, 4)
327 #define __fastcall __attribute__((__fastcall__))
328 #define __result_use_check __attribute__((__warn_unused_result__))
331 #define __result_use_check
334 #if __GNUC_PREREQ__(4, 1)
335 #define __returns_twice __attribute__((__returns_twice__))
337 #define __returns_twice
340 #if __GNUC_PREREQ__(4, 6) || __has_builtin(__builtin_unreachable)
341 #define __unreachable() __builtin_unreachable()
343 #define __unreachable() ((void)0)
346 /* XXX: should use `#if __STDC_VERSION__ < 199901'. */
347 #if !__GNUC_PREREQ__(2, 7)
348 #define __func__ NULL
351 #if (defined(__GNUC__) && __GNUC__ >= 2) && !defined(__STRICT_ANSI__) || __STDC_VERSION__ >= 199901
352 #define __LONG_LONG_SUPPORTED
355 /* C++11 exposes a load of C99 stuff */
356 #if defined(__cplusplus) && __cplusplus >= 201103L
357 #define __LONG_LONG_SUPPORTED
358 #ifndef __STDC_LIMIT_MACROS
359 #define __STDC_LIMIT_MACROS
361 #ifndef __STDC_CONSTANT_MACROS
362 #define __STDC_CONSTANT_MACROS
367 * We use `__restrict' as a way to define the `restrict' type qualifier
368 * without disturbing older software that is unaware of C99 keywords.
369 * GCC also provides `__restrict' as an extension to support C99-style
370 * restricted pointers in other language modes.
372 #if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 199901
373 #define __restrict restrict
374 #elif !__GNUC_PREREQ__(2, 95)
379 * GNU C version 2.96 adds explicit branch prediction so that
380 * the CPU back-end can hint the processor and also so that
381 * code blocks can be reordered such that the predicted path
382 * sees a more linear flow, thus improving cache behavior, etc.
384 * The following two macros provide us with a way to utilize this
385 * compiler feature. Use __predict_true() if you expect the expression
386 * to evaluate to true, and __predict_false() if you expect the
387 * expression to evaluate to false.
389 * A few notes about usage:
391 * * Generally, __predict_false() error condition checks (unless
392 * you have some _strong_ reason to do otherwise, in which case
393 * document it), and/or __predict_true() `no-error' condition
394 * checks, assuming you want to optimize for the no-error case.
396 * * Other than that, if you don't know the likelihood of a test
397 * succeeding from empirical or other `hard' evidence, don't
400 * * These are meant to be used in places that are run `a lot'.
401 * It is wasteful to make predictions in code that is run
402 * seldomly (e.g. at subsystem initialization time) as the
403 * basic block reordering that this affects can often generate
406 #if __GNUC_PREREQ__(2, 96)
407 #define __predict_true(exp) __builtin_expect((exp), 1)
408 #define __predict_false(exp) __builtin_expect((exp), 0)
410 #define __predict_true(exp) (exp)
411 #define __predict_false(exp) (exp)
414 #if __GNUC_PREREQ__(4, 0)
415 #define __null_sentinel __attribute__((__sentinel__))
416 #define __exported __attribute__((__visibility__("default")))
417 #define __hidden __attribute__((__visibility__("hidden")))
419 #define __null_sentinel
425 * We define this here since <stddef.h>, <sys/queue.h>, and <sys/types.h>
428 #if __GNUC_PREREQ__(4, 1)
429 #define __offsetof(type, field) __builtin_offsetof(type, field)
432 #define __offsetof(type, field) \
433 ((__size_t)(__uintptr_t)((const volatile void *)&((type *)0)->field))
435 #define __offsetof(type, field) \
436 (__offsetof__ (reinterpret_cast <__size_t> \
437 (&reinterpret_cast <const volatile char &> \
438 (static_cast<type *> (0)->field))))
441 #define __rangeof(type, start, end) \
442 (__offsetof(type, end) - __offsetof(type, start))
445 * Given the pointer x to the member m of the struct s, return
446 * a pointer to the containing structure. When using GCC, we first
447 * assign pointer x to a local variable, to check that its type is
448 * compatible with member m.
450 #if __GNUC_PREREQ__(3, 1)
451 #define __containerof(x, s, m) ({ \
452 const volatile __typeof(((s *)0)->m) *__x = (x); \
453 __DEQUALIFY(s *, (const volatile char *)__x - __offsetof(s, m));\
456 #define __containerof(x, s, m) \
457 __DEQUALIFY(s *, (const volatile char *)(x) - __offsetof(s, m))
461 * Compiler-dependent macros to declare that functions take printf-like
462 * or scanf-like arguments. They are null except for versions of gcc
463 * that are known to support the features properly (old versions of gcc-2
464 * didn't permit keeping the keywords out of the application namespace).
466 #if !__GNUC_PREREQ__(2, 7)
467 #define __printflike(fmtarg, firstvararg)
468 #define __scanflike(fmtarg, firstvararg)
469 #define __format_arg(fmtarg)
470 #define __strfmonlike(fmtarg, firstvararg)
471 #define __strftimelike(fmtarg, firstvararg)
473 #define __printflike(fmtarg, firstvararg) \
474 __attribute__((__format__ (__printf__, fmtarg, firstvararg)))
475 #define __scanflike(fmtarg, firstvararg) \
476 __attribute__((__format__ (__scanf__, fmtarg, firstvararg)))
477 #define __format_arg(fmtarg) __attribute__((__format_arg__ (fmtarg)))
478 #define __strfmonlike(fmtarg, firstvararg) \
479 __attribute__((__format__ (__strfmon__, fmtarg, firstvararg)))
480 #define __strftimelike(fmtarg, firstvararg) \
481 __attribute__((__format__ (__strftime__, fmtarg, firstvararg)))
484 /* Compiler-dependent macros that rely on FreeBSD-specific extensions. */
485 #if defined(__FreeBSD_cc_version) && __FreeBSD_cc_version >= 300001 && \
487 #define __printf0like(fmtarg, firstvararg) \
488 __attribute__((__format__ (__printf0__, fmtarg, firstvararg)))
490 #define __printf0like(fmtarg, firstvararg)
493 #if defined(__GNUC__)
494 #define __strong_reference(sym,aliassym) \
495 extern __typeof (sym) aliassym __attribute__ ((__alias__ (#sym)))
497 #define __weak_reference(sym,alias) \
498 __asm__(".weak " #alias); \
499 __asm__(".equ " #alias ", " #sym)
500 #define __warn_references(sym,msg) \
501 __asm__(".section .gnu.warning." #sym); \
502 __asm__(".asciz \"" msg "\""); \
504 #define __sym_compat(sym,impl,verid) \
505 __asm__(".symver " #impl ", " #sym "@" #verid)
506 #define __sym_default(sym,impl,verid) \
507 __asm__(".symver " #impl ", " #sym "@@@" #verid)
509 #define __weak_reference(sym,alias) \
510 __asm__(".weak alias"); \
511 __asm__(".equ alias, sym")
512 #define __warn_references(sym,msg) \
513 __asm__(".section .gnu.warning.sym"); \
514 __asm__(".asciz \"msg\""); \
516 #define __sym_compat(sym,impl,verid) \
517 __asm__(".symver impl, sym@verid")
518 #define __sym_default(impl,sym,verid) \
519 __asm__(".symver impl, sym@@@verid")
520 #endif /* __STDC__ */
521 #endif /* __GNUC__ */
523 #define __GLOBL(sym) __asm__(".globl " __XSTRING(sym))
524 #define __WEAK(sym) __asm__(".weak " __XSTRING(sym))
526 #if defined(__GNUC__)
527 #define __IDSTRING(name,string) __asm__(".ident\t\"" string "\"")
530 * The following definition might not work well if used in header files,
531 * but it should be better than nothing. If you want a "do nothing"
532 * version, then it should generate some harmless declaration, such as:
533 * #define __IDSTRING(name,string) struct __hack
535 #define __IDSTRING(name,string) static const char name[] __unused = string
539 * Embed the rcs id of a source file in the resulting library. Note that in
540 * more recent ELF binutils, we use .ident allowing the ID to be stripped.
544 #if !defined(STRIP_FBSDID)
545 #define __FBSDID(s) __IDSTRING(__CONCAT(__rcsid_,__LINE__),s)
547 #define __FBSDID(s) struct __hack
553 #define __RCSID(s) __IDSTRING(__CONCAT(__rcsid_,__LINE__),s)
555 #define __RCSID(s) struct __hack
559 #ifndef __RCSID_SOURCE
560 #ifndef NO__RCSID_SOURCE
561 #define __RCSID_SOURCE(s) __IDSTRING(__CONCAT(__rcsid_source_,__LINE__),s)
563 #define __RCSID_SOURCE(s) struct __hack
569 #define __SCCSID(s) __IDSTRING(__CONCAT(__sccsid_,__LINE__),s)
571 #define __SCCSID(s) struct __hack
576 #ifndef NO__COPYRIGHT
577 #define __COPYRIGHT(s) __IDSTRING(__CONCAT(__copyright_,__LINE__),s)
579 #define __COPYRIGHT(s) struct __hack
584 #define __DECONST(type, var) ((type)(__uintptr_t)(const void *)(var))
588 #define __DEVOLATILE(type, var) ((type)(__uintptr_t)(volatile void *)(var))
592 #define __DEQUALIFY(type, var) ((type)(__uintptr_t)(const volatile void *)(var))
596 * The following definitions are an extension of the behavior originally
597 * implemented in <sys/_posix.h>, but with a different level of granularity.
598 * POSIX.1 requires that the macros we test be defined before any standard
599 * header file is included.
601 * Here's a quick run-down of the versions (and some informal names)
602 * defined(_POSIX_SOURCE) 1003.1-1988
603 * encoded as 198808 below
604 * _POSIX_C_SOURCE == 1 1003.1-1990
605 * encoded as 199009 below
606 * _POSIX_C_SOURCE == 2 1003.2-1992 C Language Binding Option
607 * encoded as 199209 below
608 * _POSIX_C_SOURCE == 199309 1003.1b-1993
609 * (1003.1 Issue 4, Single Unix Spec v1, Unix 93)
610 * _POSIX_C_SOURCE == 199506 1003.1c-1995, 1003.1i-1995,
611 * and the omnibus ISO/IEC 9945-1: 1996
612 * (1003.1 Issue 5, Single Unix Spec v2, Unix 95)
613 * _POSIX_C_SOURCE == 200112 1003.1-2001 (1003.1 Issue 6, Unix 03)
614 * _POSIX_C_SOURCE == 200809 1003.1-2008 (1003.1 Issue 7)
615 * IEEE Std 1003.1-2017 (Rev of 1003.1-2008) is
616 * 1003.1-2008 with two TCs applied with
617 * _POSIX_C_SOURCE=200809 and _XOPEN_SOURCE=700
619 * In addition, the X/Open Portability Guide, which is now the Single UNIX
620 * Specification, defines a feature-test macro which indicates the version of
621 * that specification, and which subsumes _POSIX_C_SOURCE.
623 * Our macros begin with two underscores to avoid namespace screwage.
626 /* Deal with IEEE Std. 1003.1-1990, in which _POSIX_C_SOURCE == 1. */
627 #if defined(_POSIX_C_SOURCE) && _POSIX_C_SOURCE == 1
628 #undef _POSIX_C_SOURCE /* Probably illegal, but beyond caring now. */
629 #define _POSIX_C_SOURCE 199009
632 /* Deal with IEEE Std. 1003.2-1992, in which _POSIX_C_SOURCE == 2. */
633 #if defined(_POSIX_C_SOURCE) && _POSIX_C_SOURCE == 2
634 #undef _POSIX_C_SOURCE
635 #define _POSIX_C_SOURCE 199209
638 /* Deal with various X/Open Portability Guides and Single UNIX Spec. */
640 #if _XOPEN_SOURCE - 0 >= 700
641 #define __XSI_VISIBLE 700
642 #undef _POSIX_C_SOURCE
643 #define _POSIX_C_SOURCE 200809
644 #elif _XOPEN_SOURCE - 0 >= 600
645 #define __XSI_VISIBLE 600
646 #undef _POSIX_C_SOURCE
647 #define _POSIX_C_SOURCE 200112
648 #elif _XOPEN_SOURCE - 0 >= 500
649 #define __XSI_VISIBLE 500
650 #undef _POSIX_C_SOURCE
651 #define _POSIX_C_SOURCE 199506
656 * Deal with all versions of POSIX. The ordering relative to the tests above is
659 #if defined(_POSIX_SOURCE) && !defined(_POSIX_C_SOURCE)
660 #define _POSIX_C_SOURCE 198808
662 #ifdef _POSIX_C_SOURCE
663 #if _POSIX_C_SOURCE >= 200809
664 #define __POSIX_VISIBLE 200809
665 #define __ISO_C_VISIBLE 1999
666 #elif _POSIX_C_SOURCE >= 200112
667 #define __POSIX_VISIBLE 200112
668 #define __ISO_C_VISIBLE 1999
669 #elif _POSIX_C_SOURCE >= 199506
670 #define __POSIX_VISIBLE 199506
671 #define __ISO_C_VISIBLE 1990
672 #elif _POSIX_C_SOURCE >= 199309
673 #define __POSIX_VISIBLE 199309
674 #define __ISO_C_VISIBLE 1990
675 #elif _POSIX_C_SOURCE >= 199209
676 #define __POSIX_VISIBLE 199209
677 #define __ISO_C_VISIBLE 1990
678 #elif _POSIX_C_SOURCE >= 199009
679 #define __POSIX_VISIBLE 199009
680 #define __ISO_C_VISIBLE 1990
682 #define __POSIX_VISIBLE 198808
683 #define __ISO_C_VISIBLE 0
684 #endif /* _POSIX_C_SOURCE */
686 * Both glibc and OpenBSD enable c11 features when _ISOC11_SOURCE is defined, or
687 * when compiling with -stdc=c11. A strict reading of the standard would suggest
688 * doing it only for the former. However, a strict reading also requires C99
689 * mode only, so building with C11 is already undefined. Follow glibc's and
690 * OpenBSD's lead for this non-standard configuration for maximum compatibility.
692 #if _ISOC11_SOURCE || (defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L)
693 #undef __ISO_C_VISIBLE
694 #define __ISO_C_VISIBLE 2011
698 * Deal with _ANSI_SOURCE:
699 * If it is defined, and no other compilation environment is explicitly
700 * requested, then define our internal feature-test macros to zero. This
701 * makes no difference to the preprocessor (undefined symbols in preprocessing
702 * expressions are defined to have value zero), but makes it more convenient for
703 * a test program to print out the values.
705 * If a program mistakenly defines _ANSI_SOURCE and some other macro such as
706 * _POSIX_C_SOURCE, we will assume that it wants the broader compilation
707 * environment (and in fact we will never get here).
709 #if defined(_ANSI_SOURCE) /* Hide almost everything. */
710 #define __POSIX_VISIBLE 0
711 #define __XSI_VISIBLE 0
712 #define __BSD_VISIBLE 0
713 #define __ISO_C_VISIBLE 1990
714 #define __EXT1_VISIBLE 0
715 #elif defined(_C99_SOURCE) /* Localism to specify strict C99 env. */
716 #define __POSIX_VISIBLE 0
717 #define __XSI_VISIBLE 0
718 #define __BSD_VISIBLE 0
719 #define __ISO_C_VISIBLE 1999
720 #define __EXT1_VISIBLE 0
721 #elif defined(_C11_SOURCE) /* Localism to specify strict C11 env. */
722 #define __POSIX_VISIBLE 0
723 #define __XSI_VISIBLE 0
724 #define __BSD_VISIBLE 0
725 #define __ISO_C_VISIBLE 2011
726 #define __EXT1_VISIBLE 0
727 #else /* Default environment: show everything. */
728 #define __POSIX_VISIBLE 200809
729 #define __XSI_VISIBLE 700
730 #define __BSD_VISIBLE 1
731 #define __ISO_C_VISIBLE 2011
732 #define __EXT1_VISIBLE 1
736 /* User override __EXT1_VISIBLE */
737 #if defined(__STDC_WANT_LIB_EXT1__)
738 #undef __EXT1_VISIBLE
739 #if __STDC_WANT_LIB_EXT1__
740 #define __EXT1_VISIBLE 1
742 #define __EXT1_VISIBLE 0
744 #endif /* __STDC_WANT_LIB_EXT1__ */
747 * Old versions of GCC use non-standard ARM arch symbols; acle-compat.h
748 * translates them to __ARM_ARCH and the modern feature symbols defined by ARM.
750 #if defined(__arm__) && !defined(__ARM_ARCH)
751 #include <machine/acle-compat.h>
755 * Nullability qualifiers: currently only supported by Clang.
757 #if !(defined(__clang__) && __has_feature(nullability))
760 #define _Null_unspecified
761 #define __NULLABILITY_PRAGMA_PUSH
762 #define __NULLABILITY_PRAGMA_POP
764 #define __NULLABILITY_PRAGMA_PUSH _Pragma("clang diagnostic push") \
765 _Pragma("clang diagnostic ignored \"-Wnullability-completeness\"")
766 #define __NULLABILITY_PRAGMA_POP _Pragma("clang diagnostic pop")
770 * Type Safety Checking
772 * Clang provides additional attributes to enable checking type safety
773 * properties that cannot be enforced by the C type system.
776 #if __has_attribute(__argument_with_type_tag__) && \
777 __has_attribute(__type_tag_for_datatype__)
778 #define __arg_type_tag(arg_kind, arg_idx, type_tag_idx) \
779 __attribute__((__argument_with_type_tag__(arg_kind, arg_idx, type_tag_idx)))
780 #define __datatype_type_tag(kind, type) \
781 __attribute__((__type_tag_for_datatype__(kind, type)))
783 #define __arg_type_tag(arg_kind, arg_idx, type_tag_idx)
784 #define __datatype_type_tag(kind, type)
790 * Clang provides support for doing basic thread-safety tests at
791 * compile-time, by marking which locks will/should be held when
792 * entering/leaving a functions.
794 * Furthermore, it is also possible to annotate variables and structure
795 * members to enforce that they are only accessed when certain locks are
799 #if __has_extension(c_thread_safety_attributes)
800 #define __lock_annotate(x) __attribute__((x))
802 #define __lock_annotate(x)
805 /* Structure implements a lock. */
806 #define __lockable __lock_annotate(lockable)
808 /* Function acquires an exclusive or shared lock. */
809 #define __locks_exclusive(...) \
810 __lock_annotate(exclusive_lock_function(__VA_ARGS__))
811 #define __locks_shared(...) \
812 __lock_annotate(shared_lock_function(__VA_ARGS__))
814 /* Function attempts to acquire an exclusive or shared lock. */
815 #define __trylocks_exclusive(...) \
816 __lock_annotate(exclusive_trylock_function(__VA_ARGS__))
817 #define __trylocks_shared(...) \
818 __lock_annotate(shared_trylock_function(__VA_ARGS__))
820 /* Function releases a lock. */
821 #define __unlocks(...) __lock_annotate(unlock_function(__VA_ARGS__))
823 /* Function asserts that an exclusive or shared lock is held. */
824 #define __asserts_exclusive(...) \
825 __lock_annotate(assert_exclusive_lock(__VA_ARGS__))
826 #define __asserts_shared(...) \
827 __lock_annotate(assert_shared_lock(__VA_ARGS__))
829 /* Function requires that an exclusive or shared lock is or is not held. */
830 #define __requires_exclusive(...) \
831 __lock_annotate(exclusive_locks_required(__VA_ARGS__))
832 #define __requires_shared(...) \
833 __lock_annotate(shared_locks_required(__VA_ARGS__))
834 #define __requires_unlocked(...) \
835 __lock_annotate(locks_excluded(__VA_ARGS__))
837 /* Function should not be analyzed. */
838 #define __no_lock_analysis __lock_annotate(no_thread_safety_analysis)
841 * Function or variable should not be sanitized, e.g., by AddressSanitizer.
842 * GCC has the nosanitize attribute, but as a function attribute only, and
843 * warns on use as a variable attribute.
845 #if __has_attribute(no_sanitize) && defined(__clang__)
847 #define __nosanitizeaddress __attribute__((no_sanitize("kernel-address")))
848 #define __nosanitizememory __attribute__((no_sanitize("kernel-memory")))
850 #define __nosanitizeaddress __attribute__((no_sanitize("address")))
851 #define __nosanitizememory __attribute__((no_sanitize("memory")))
853 #define __nosanitizethread __attribute__((no_sanitize("thread")))
855 #define __nosanitizeaddress
856 #define __nosanitizememory
857 #define __nosanitizethread
861 * Make it possible to opt out of stack smashing protection.
863 #if __has_attribute(no_stack_protector)
864 #define __nostackprotector __attribute__((no_stack_protector))
866 #define __nostackprotector \
867 __attribute__((__optimize__("-fno-stack-protector")))
870 /* Guard variables and structure members by lock. */
871 #define __guarded_by(x) __lock_annotate(guarded_by(x))
872 #define __pt_guarded_by(x) __lock_annotate(pt_guarded_by(x))
874 /* Alignment builtins for better type checking and improved code generation. */
875 /* Provide fallback versions for other compilers (GCC/Clang < 10): */
876 #if !__has_builtin(__builtin_is_aligned)
877 #define __builtin_is_aligned(x, align) \
878 (((__uintptr_t)x & ((align) - 1)) == 0)
880 #if !__has_builtin(__builtin_align_up)
881 #define __builtin_align_up(x, align) \
882 ((__typeof__(x))(((__uintptr_t)(x)+((align)-1))&(~((align)-1))))
884 #if !__has_builtin(__builtin_align_down)
885 #define __builtin_align_down(x, align) \
886 ((__typeof__(x))((x)&(~((align)-1))))
889 #define __align_up(x, y) __builtin_align_up(x, y)
890 #define __align_down(x, y) __builtin_align_down(x, y)
891 #define __is_aligned(x, y) __builtin_is_aligned(x, y)
893 #endif /* !_SYS_CDEFS_H_ */