1 /* SPDX-License-Identifier: GPL-2.0 */ 1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __LINUX_COMPILER_TYPES_H 2 #ifndef __LINUX_COMPILER_TYPES_H
3 #error "Please don't include <linux/compiler-g 3 #error "Please don't include <linux/compiler-gcc.h> directly, include <linux/compiler.h> instead."
4 #endif 4 #endif
5 5
6 /* 6 /*
7 * Common definitions for all gcc versions go 7 * Common definitions for all gcc versions go here.
8 */ 8 */
9 #define GCC_VERSION (__GNUC__ * 10000 9 #define GCC_VERSION (__GNUC__ * 10000 \
10 + __GNUC_MINOR__ * 100 10 + __GNUC_MINOR__ * 100 \
11 + __GNUC_PATCHLEVEL__) 11 + __GNUC_PATCHLEVEL__)
12 12
>> 13 /* https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58145 */
>> 14 #if GCC_VERSION < 40900
>> 15 # error Sorry, your compiler is too old - please upgrade it.
>> 16 #endif
>> 17
>> 18 /* Optimization barrier */
>> 19
>> 20 /* The "volatile" is due to gcc bugs */
>> 21 #define barrier() __asm__ __volatile__("": : :"memory")
>> 22 /*
>> 23 * This version is i.e. to prevent dead stores elimination on @ptr
>> 24 * where gcc and llvm may behave differently when otherwise using
>> 25 * normal barrier(): while gcc behavior gets along with a normal
>> 26 * barrier(), llvm needs an explicit input variable to be assumed
>> 27 * clobbered. The issue is as follows: while the inline asm might
>> 28 * access any memory it wants, the compiler could have fit all of
>> 29 * @ptr into memory registers instead, and since @ptr never escaped
>> 30 * from that, it proved that the inline asm wasn't touching any of
>> 31 * it. This version works well with both compilers, i.e. we're telling
>> 32 * the compiler that the inline asm absolutely may see the contents
>> 33 * of @ptr. See also: https://llvm.org/bugs/show_bug.cgi?id=15495
>> 34 */
>> 35 #define barrier_data(ptr) __asm__ __volatile__("": :"r"(ptr) :"memory")
>> 36
13 /* 37 /*
14 * This macro obfuscates arithmetic on a varia 38 * This macro obfuscates arithmetic on a variable address so that gcc
15 * shouldn't recognize the original var, and m 39 * shouldn't recognize the original var, and make assumptions about it.
16 * 40 *
17 * This is needed because the C standard makes 41 * This is needed because the C standard makes it undefined to do
18 * pointer arithmetic on "objects" outside the 42 * pointer arithmetic on "objects" outside their boundaries and the
19 * gcc optimizers assume this is the case. In 43 * gcc optimizers assume this is the case. In particular they
20 * assume such arithmetic does not wrap. 44 * assume such arithmetic does not wrap.
21 * 45 *
22 * A miscompilation has been observed because 46 * A miscompilation has been observed because of this on PPC.
23 * To work around it we hide the relationship 47 * To work around it we hide the relationship of the pointer and the object
24 * using this macro. 48 * using this macro.
25 * 49 *
26 * Versions of the ppc64 compiler before 4.1 h 50 * Versions of the ppc64 compiler before 4.1 had a bug where use of
27 * RELOC_HIDE could trash r30. The bug can be 51 * RELOC_HIDE could trash r30. The bug can be worked around by changing
28 * the inline assembly constraint from =g to = 52 * the inline assembly constraint from =g to =r, in this particular
29 * case either is valid. 53 * case either is valid.
30 */ 54 */
31 #define RELOC_HIDE(ptr, off) 55 #define RELOC_HIDE(ptr, off) \
32 ({ 56 ({ \
33 unsigned long __ptr; 57 unsigned long __ptr; \
34 __asm__ ("" : "=r"(__ptr) : ""(ptr)); 58 __asm__ ("" : "=r"(__ptr) : ""(ptr)); \
35 (typeof(ptr)) (__ptr + (off)); 59 (typeof(ptr)) (__ptr + (off)); \
36 }) 60 })
37 61
38 #ifdef CONFIG_MITIGATION_RETPOLINE !! 62 /*
>> 63 * A trick to suppress uninitialized variable warning without generating any
>> 64 * code
>> 65 */
>> 66 #define uninitialized_var(x) x = x
>> 67
>> 68 #ifdef CONFIG_RETPOLINE
39 #define __noretpoline __attribute__((__indirec 69 #define __noretpoline __attribute__((__indirect_branch__("keep")))
40 #endif 70 #endif
41 71
>> 72 #define __UNIQUE_ID(prefix) __PASTE(__PASTE(__UNIQUE_ID_, prefix), __COUNTER__)
>> 73
>> 74 #define __compiletime_object_size(obj) __builtin_object_size(obj, 0)
>> 75
>> 76 #define __compiletime_warning(message) __attribute__((__warning__(message)))
>> 77 #define __compiletime_error(message) __attribute__((__error__(message)))
>> 78
42 #if defined(LATENT_ENTROPY_PLUGIN) && !defined 79 #if defined(LATENT_ENTROPY_PLUGIN) && !defined(__CHECKER__)
43 #define __latent_entropy __attribute__((latent 80 #define __latent_entropy __attribute__((latent_entropy))
44 #endif 81 #endif
45 82
46 /* 83 /*
47 * calling noreturn functions, __builtin_unrea 84 * calling noreturn functions, __builtin_unreachable() and __builtin_trap()
48 * confuse the stack allocation in gcc, leadin 85 * confuse the stack allocation in gcc, leading to overly large stack
49 * frames, see https://gcc.gnu.org/bugzilla/sh 86 * frames, see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82365
50 * 87 *
51 * Adding an empty inline assembly before it w 88 * Adding an empty inline assembly before it works around the problem
52 */ 89 */
53 #define barrier_before_unreachable() asm volat 90 #define barrier_before_unreachable() asm volatile("")
54 91
55 /* 92 /*
56 * Mark a position in code as unreachable. Th 93 * Mark a position in code as unreachable. This can be used to
57 * suppress control flow warnings after asm bl 94 * suppress control flow warnings after asm blocks that transfer
58 * control elsewhere. 95 * control elsewhere.
59 */ 96 */
60 #define unreachable() \ 97 #define unreachable() \
61 do { 98 do { \
62 annotate_unreachable(); 99 annotate_unreachable(); \
63 barrier_before_unreachable(); 100 barrier_before_unreachable(); \
64 __builtin_unreachable(); 101 __builtin_unreachable(); \
65 } while (0) 102 } while (0)
66 103
67 #if defined(CONFIG_ARCH_USE_BUILTIN_BSWAP) !! 104 #if defined(RANDSTRUCT_PLUGIN) && !defined(__CHECKER__)
>> 105 #define __randomize_layout __attribute__((randomize_layout))
>> 106 #define __no_randomize_layout __attribute__((no_randomize_layout))
>> 107 /* This anon struct can add padding, so only enable it under randstruct. */
>> 108 #define randomized_struct_fields_start struct {
>> 109 #define randomized_struct_fields_end } __randomize_layout;
>> 110 #endif
>> 111
>> 112 /*
>> 113 * GCC 'asm goto' miscompiles certain code sequences:
>> 114 *
>> 115 * http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58670
>> 116 *
>> 117 * Work it around via a compiler barrier quirk suggested by Jakub Jelinek.
>> 118 *
>> 119 * (asm goto is automatically volatile - the naming reflects this.)
>> 120 */
>> 121 #define asm_volatile_goto(x...) do { asm goto(x); asm (""); } while (0)
>> 122
>> 123 /*
>> 124 * sparse (__CHECKER__) pretends to be gcc, but can't do constant
>> 125 * folding in __builtin_bswap*() (yet), so don't set these for it.
>> 126 */
>> 127 #if defined(CONFIG_ARCH_USE_BUILTIN_BSWAP) && !defined(__CHECKER__)
68 #define __HAVE_BUILTIN_BSWAP32__ 128 #define __HAVE_BUILTIN_BSWAP32__
69 #define __HAVE_BUILTIN_BSWAP64__ 129 #define __HAVE_BUILTIN_BSWAP64__
70 #define __HAVE_BUILTIN_BSWAP16__ 130 #define __HAVE_BUILTIN_BSWAP16__
71 #endif /* CONFIG_ARCH_USE_BUILTIN_BSWAP */ !! 131 #endif /* CONFIG_ARCH_USE_BUILTIN_BSWAP && !__CHECKER__ */
72 132
73 #if GCC_VERSION >= 70000 133 #if GCC_VERSION >= 70000
74 #define KASAN_ABI_VERSION 5 134 #define KASAN_ABI_VERSION 5
75 #else !! 135 #elif GCC_VERSION >= 50000
76 #define KASAN_ABI_VERSION 4 136 #define KASAN_ABI_VERSION 4
>> 137 #elif GCC_VERSION >= 40902
>> 138 #define KASAN_ABI_VERSION 3
77 #endif 139 #endif
78 140
79 #ifdef CONFIG_SHADOW_CALL_STACK !! 141 #if __has_attribute(__no_sanitize_address__)
80 #define __noscs __attribute__((__no_sanitize__ !! 142 #define __no_sanitize_address __attribute__((no_sanitize_address))
81 #endif <<
82 <<
83 #ifdef __SANITIZE_HWADDRESS__ <<
84 #define __no_sanitize_address __attribute__((_ <<
85 #else 143 #else
86 #define __no_sanitize_address __attribute__((_ !! 144 #define __no_sanitize_address
87 #endif 145 #endif
88 146
89 #if defined(__SANITIZE_THREAD__) !! 147 #if defined(__SANITIZE_THREAD__) && __has_attribute(__no_sanitize_thread__)
90 #define __no_sanitize_thread __attribute__((__ !! 148 #define __no_sanitize_thread __attribute__((no_sanitize_thread))
91 #else 149 #else
92 #define __no_sanitize_thread 150 #define __no_sanitize_thread
93 #endif 151 #endif
94 152
95 #define __no_sanitize_undefined __attribute__( !! 153 #if __has_attribute(__no_sanitize_undefined__)
96 !! 154 #define __no_sanitize_undefined __attribute__((no_sanitize_undefined))
97 /* <<
98 * Only supported since gcc >= 12 <<
99 */ <<
100 #if defined(CONFIG_KCOV) && __has_attribute(__ <<
101 #define __no_sanitize_coverage __attribute__(( <<
102 #else 155 #else
103 #define __no_sanitize_coverage !! 156 #define __no_sanitize_undefined
104 #endif 157 #endif
105 158
106 /* !! 159 #if GCC_VERSION >= 50100
107 * Treat __SANITIZE_HWADDRESS__ the same as __ !! 160 #define COMPILER_HAS_GENERIC_BUILTIN_OVERFLOW 1
108 * matching the defines used by Clang. <<
109 */ <<
110 #ifdef __SANITIZE_HWADDRESS__ <<
111 #define __SANITIZE_ADDRESS__ <<
112 #endif 161 #endif
113 162
114 /* 163 /*
115 * GCC does not support KMSAN. <<
116 */ <<
117 #define __no_sanitize_memory <<
118 #define __no_kmsan_checks <<
119 <<
120 /* <<
121 * Turn individual warnings and errors on and 164 * Turn individual warnings and errors on and off locally, depending
122 * on version. 165 * on version.
123 */ 166 */
124 #define __diag_GCC(version, severity, s) \ 167 #define __diag_GCC(version, severity, s) \
125 __diag_GCC_ ## version(__diag_GCC_ ## 168 __diag_GCC_ ## version(__diag_GCC_ ## severity s)
126 169
127 /* Severity used in pragma directives */ 170 /* Severity used in pragma directives */
128 #define __diag_GCC_ignore ignored 171 #define __diag_GCC_ignore ignored
129 #define __diag_GCC_warn warning 172 #define __diag_GCC_warn warning
130 #define __diag_GCC_error error 173 #define __diag_GCC_error error
131 174
132 #define __diag_str1(s) #s 175 #define __diag_str1(s) #s
133 #define __diag_str(s) __diag_str1(s) 176 #define __diag_str(s) __diag_str1(s)
134 #define __diag(s) _Pragma(__diag 177 #define __diag(s) _Pragma(__diag_str(GCC diagnostic s))
135 178
136 #if GCC_VERSION >= 80000 179 #if GCC_VERSION >= 80000
137 #define __diag_GCC_8(s) __diag(s) 180 #define __diag_GCC_8(s) __diag(s)
138 #else 181 #else
139 #define __diag_GCC_8(s) 182 #define __diag_GCC_8(s)
140 #endif 183 #endif
141 184
142 #define __diag_ignore_all(option, comment) \ !! 185 #define __no_fgcse __attribute__((optimize("-fno-gcse")))
143 __diag(__diag_GCC_ignore option) <<
144 <<
145 /* <<
146 * Prior to 9.1, -Wno-alloc-size-larger-than ( <<
147 * attribute) do not work, and must be disable <<
148 */ <<
149 #if GCC_VERSION < 90100 <<
150 #undef __alloc_size__ <<
151 #endif <<
152 186
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.