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 /* 13 /*
14 * This macro obfuscates arithmetic on a varia 14 * This macro obfuscates arithmetic on a variable address so that gcc
15 * shouldn't recognize the original var, and m 15 * shouldn't recognize the original var, and make assumptions about it.
16 * 16 *
17 * This is needed because the C standard makes 17 * This is needed because the C standard makes it undefined to do
18 * pointer arithmetic on "objects" outside the 18 * pointer arithmetic on "objects" outside their boundaries and the
19 * gcc optimizers assume this is the case. In 19 * gcc optimizers assume this is the case. In particular they
20 * assume such arithmetic does not wrap. 20 * assume such arithmetic does not wrap.
21 * 21 *
22 * A miscompilation has been observed because 22 * A miscompilation has been observed because of this on PPC.
23 * To work around it we hide the relationship 23 * To work around it we hide the relationship of the pointer and the object
24 * using this macro. 24 * using this macro.
25 * 25 *
26 * Versions of the ppc64 compiler before 4.1 h 26 * Versions of the ppc64 compiler before 4.1 had a bug where use of
27 * RELOC_HIDE could trash r30. The bug can be 27 * RELOC_HIDE could trash r30. The bug can be worked around by changing
28 * the inline assembly constraint from =g to = 28 * the inline assembly constraint from =g to =r, in this particular
29 * case either is valid. 29 * case either is valid.
30 */ 30 */
31 #define RELOC_HIDE(ptr, off) 31 #define RELOC_HIDE(ptr, off) \
32 ({ 32 ({ \
33 unsigned long __ptr; 33 unsigned long __ptr; \
34 __asm__ ("" : "=r"(__ptr) : ""(ptr)); 34 __asm__ ("" : "=r"(__ptr) : ""(ptr)); \
35 (typeof(ptr)) (__ptr + (off)); 35 (typeof(ptr)) (__ptr + (off)); \
36 }) 36 })
37 37
38 #ifdef CONFIG_MITIGATION_RETPOLINE !! 38 #ifdef CONFIG_RETPOLINE
39 #define __noretpoline __attribute__((__indirec 39 #define __noretpoline __attribute__((__indirect_branch__("keep")))
40 #endif 40 #endif
41 41
>> 42 #define __UNIQUE_ID(prefix) __PASTE(__PASTE(__UNIQUE_ID_, prefix), __COUNTER__)
>> 43
>> 44 #define __compiletime_object_size(obj) __builtin_object_size(obj, 0)
>> 45
>> 46 #define __compiletime_warning(message) __attribute__((__warning__(message)))
>> 47 #define __compiletime_error(message) __attribute__((__error__(message)))
>> 48
42 #if defined(LATENT_ENTROPY_PLUGIN) && !defined 49 #if defined(LATENT_ENTROPY_PLUGIN) && !defined(__CHECKER__)
43 #define __latent_entropy __attribute__((latent 50 #define __latent_entropy __attribute__((latent_entropy))
44 #endif 51 #endif
45 52
46 /* 53 /*
47 * calling noreturn functions, __builtin_unrea 54 * calling noreturn functions, __builtin_unreachable() and __builtin_trap()
48 * confuse the stack allocation in gcc, leadin 55 * confuse the stack allocation in gcc, leading to overly large stack
49 * frames, see https://gcc.gnu.org/bugzilla/sh 56 * frames, see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82365
50 * 57 *
51 * Adding an empty inline assembly before it w 58 * Adding an empty inline assembly before it works around the problem
52 */ 59 */
53 #define barrier_before_unreachable() asm volat 60 #define barrier_before_unreachable() asm volatile("")
54 61
55 /* 62 /*
56 * Mark a position in code as unreachable. Th 63 * Mark a position in code as unreachable. This can be used to
57 * suppress control flow warnings after asm bl 64 * suppress control flow warnings after asm blocks that transfer
58 * control elsewhere. 65 * control elsewhere.
59 */ 66 */
60 #define unreachable() \ 67 #define unreachable() \
61 do { 68 do { \
62 annotate_unreachable(); 69 annotate_unreachable(); \
63 barrier_before_unreachable(); 70 barrier_before_unreachable(); \
64 __builtin_unreachable(); 71 __builtin_unreachable(); \
65 } while (0) 72 } while (0)
66 73
67 #if defined(CONFIG_ARCH_USE_BUILTIN_BSWAP) !! 74 #if defined(RANDSTRUCT_PLUGIN) && !defined(__CHECKER__)
>> 75 #define __randomize_layout __attribute__((randomize_layout))
>> 76 #define __no_randomize_layout __attribute__((no_randomize_layout))
>> 77 /* This anon struct can add padding, so only enable it under randstruct. */
>> 78 #define randomized_struct_fields_start struct {
>> 79 #define randomized_struct_fields_end } __randomize_layout;
>> 80 #endif
>> 81
>> 82 /*
>> 83 * GCC 'asm goto' miscompiles certain code sequences:
>> 84 *
>> 85 * http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58670
>> 86 *
>> 87 * Work it around via a compiler barrier quirk suggested by Jakub Jelinek.
>> 88 *
>> 89 * (asm goto is automatically volatile - the naming reflects this.)
>> 90 */
>> 91 #define asm_volatile_goto(x...) do { asm goto(x); asm (""); } while (0)
>> 92
>> 93 /*
>> 94 * sparse (__CHECKER__) pretends to be gcc, but can't do constant
>> 95 * folding in __builtin_bswap*() (yet), so don't set these for it.
>> 96 */
>> 97 #if defined(CONFIG_ARCH_USE_BUILTIN_BSWAP) && !defined(__CHECKER__)
68 #define __HAVE_BUILTIN_BSWAP32__ 98 #define __HAVE_BUILTIN_BSWAP32__
69 #define __HAVE_BUILTIN_BSWAP64__ 99 #define __HAVE_BUILTIN_BSWAP64__
70 #define __HAVE_BUILTIN_BSWAP16__ 100 #define __HAVE_BUILTIN_BSWAP16__
71 #endif /* CONFIG_ARCH_USE_BUILTIN_BSWAP */ !! 101 #endif /* CONFIG_ARCH_USE_BUILTIN_BSWAP && !__CHECKER__ */
72 102
73 #if GCC_VERSION >= 70000 103 #if GCC_VERSION >= 70000
74 #define KASAN_ABI_VERSION 5 104 #define KASAN_ABI_VERSION 5
75 #else !! 105 #elif GCC_VERSION >= 50000
76 #define KASAN_ABI_VERSION 4 106 #define KASAN_ABI_VERSION 4
>> 107 #elif GCC_VERSION >= 40902
>> 108 #define KASAN_ABI_VERSION 3
77 #endif 109 #endif
78 110
79 #ifdef CONFIG_SHADOW_CALL_STACK !! 111 #if __has_attribute(__no_sanitize_address__)
80 #define __noscs __attribute__((__no_sanitize__ !! 112 #define __no_sanitize_address __attribute__((no_sanitize_address))
81 #endif <<
82 <<
83 #ifdef __SANITIZE_HWADDRESS__ <<
84 #define __no_sanitize_address __attribute__((_ <<
85 #else 113 #else
86 #define __no_sanitize_address __attribute__((_ !! 114 #define __no_sanitize_address
87 #endif 115 #endif
88 116
89 #if defined(__SANITIZE_THREAD__) !! 117 #if defined(__SANITIZE_THREAD__) && __has_attribute(__no_sanitize_thread__)
90 #define __no_sanitize_thread __attribute__((__ !! 118 #define __no_sanitize_thread __attribute__((no_sanitize_thread))
91 #else 119 #else
92 #define __no_sanitize_thread 120 #define __no_sanitize_thread
93 #endif 121 #endif
94 122
95 #define __no_sanitize_undefined __attribute__( !! 123 #if __has_attribute(__no_sanitize_undefined__)
>> 124 #define __no_sanitize_undefined __attribute__((no_sanitize_undefined))
>> 125 #else
>> 126 #define __no_sanitize_undefined
>> 127 #endif
96 128
97 /* <<
98 * Only supported since gcc >= 12 <<
99 */ <<
100 #if defined(CONFIG_KCOV) && __has_attribute(__ 129 #if defined(CONFIG_KCOV) && __has_attribute(__no_sanitize_coverage__)
101 #define __no_sanitize_coverage __attribute__(( !! 130 #define __no_sanitize_coverage __attribute__((no_sanitize_coverage))
102 #else 131 #else
103 #define __no_sanitize_coverage 132 #define __no_sanitize_coverage
104 #endif 133 #endif
105 134
106 /* !! 135 #if GCC_VERSION >= 50100
107 * Treat __SANITIZE_HWADDRESS__ the same as __ !! 136 #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 137 #endif
113 138
114 /* 139 /*
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 140 * Turn individual warnings and errors on and off locally, depending
122 * on version. 141 * on version.
123 */ 142 */
124 #define __diag_GCC(version, severity, s) \ 143 #define __diag_GCC(version, severity, s) \
125 __diag_GCC_ ## version(__diag_GCC_ ## 144 __diag_GCC_ ## version(__diag_GCC_ ## severity s)
126 145
127 /* Severity used in pragma directives */ 146 /* Severity used in pragma directives */
128 #define __diag_GCC_ignore ignored 147 #define __diag_GCC_ignore ignored
129 #define __diag_GCC_warn warning 148 #define __diag_GCC_warn warning
130 #define __diag_GCC_error error 149 #define __diag_GCC_error error
131 150
132 #define __diag_str1(s) #s 151 #define __diag_str1(s) #s
133 #define __diag_str(s) __diag_str1(s) 152 #define __diag_str(s) __diag_str1(s)
134 #define __diag(s) _Pragma(__diag 153 #define __diag(s) _Pragma(__diag_str(GCC diagnostic s))
135 154
136 #if GCC_VERSION >= 80000 155 #if GCC_VERSION >= 80000
137 #define __diag_GCC_8(s) __diag(s) 156 #define __diag_GCC_8(s) __diag(s)
138 #else 157 #else
139 #define __diag_GCC_8(s) 158 #define __diag_GCC_8(s)
140 #endif <<
141 <<
142 #define __diag_ignore_all(option, comment) \ <<
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 159 #endif
152 160
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.