Demarcate code added due to lack of NSDMI for aggregates
[WebKit.git] / Source / WTF / wtf / Compiler.h
1 /*
2  * Copyright (C) 2011, 2012, 2014 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #ifndef WTF_Compiler_h
27 #define WTF_Compiler_h
28
29 /* COMPILER() - the compiler being used to build the project */
30 #define COMPILER(WTF_FEATURE) (defined WTF_COMPILER_##WTF_FEATURE  && WTF_COMPILER_##WTF_FEATURE)
31
32 /* COMPILER_SUPPORTS() - whether the compiler being used to build the project supports the given feature. */
33 #define COMPILER_SUPPORTS(WTF_COMPILER_FEATURE) (defined WTF_COMPILER_SUPPORTS_##WTF_COMPILER_FEATURE  && WTF_COMPILER_SUPPORTS_##WTF_COMPILER_FEATURE)
34
35 /* COMPILER_QUIRK() - whether the compiler being used to build the project requires a given quirk. */
36 #define COMPILER_QUIRK(WTF_COMPILER_QUIRK) (defined WTF_COMPILER_QUIRK_##WTF_COMPILER_QUIRK  && WTF_COMPILER_QUIRK_##WTF_COMPILER_QUIRK)
37
38 /* COMPILER_HAS_CLANG_BUILTIN() - whether the compiler supports a particular clang builtin. */
39 #ifdef __has_builtin
40 #define COMPILER_HAS_CLANG_BUILTIN(x) __has_builtin(x)
41 #else
42 #define COMPILER_HAS_CLANG_BUILTIN(x) 0
43 #endif
44
45 /* COMPILER_HAS_CLANG_FEATURE() - whether the compiler supports a particular language or library feature. */
46 /* http://clang.llvm.org/docs/LanguageExtensions.html#has-feature-and-has-extension */
47 #ifdef __has_feature
48 #define COMPILER_HAS_CLANG_FEATURE(x) __has_feature(x)
49 #else
50 #define COMPILER_HAS_CLANG_FEATURE(x) 0
51 #endif
52
53 /* COMPILER_HAS_CLANG_DECLSPEC() - whether the compiler supports a Microsoft style __declspec attribute. */
54 /* https://clang.llvm.org/docs/LanguageExtensions.html#has-declspec-attribute */
55 #ifdef __has_declspec_attribute
56 #define COMPILER_HAS_CLANG_DECLSPEC(x) __has_declspec_attribute(x)
57 #else
58 #define COMPILER_HAS_CLANG_DECLSPEC(x) 0
59 #endif
60
61 /* ==== COMPILER() - primary detection of the compiler being used to build the project, in alphabetical order ==== */
62
63 /* COMPILER(CLANG) - Clang  */
64
65 #if defined(__clang__)
66 #define WTF_COMPILER_CLANG 1
67 #define WTF_COMPILER_SUPPORTS_BLOCKS COMPILER_HAS_CLANG_FEATURE(blocks)
68 #define WTF_COMPILER_SUPPORTS_C_STATIC_ASSERT COMPILER_HAS_CLANG_FEATURE(c_static_assert)
69 #define WTF_COMPILER_SUPPORTS_CXX_REFERENCE_QUALIFIED_FUNCTIONS COMPILER_HAS_CLANG_FEATURE(cxx_reference_qualified_functions)
70 #define WTF_COMPILER_SUPPORTS_CXX_EXCEPTIONS COMPILER_HAS_CLANG_FEATURE(cxx_exceptions)
71 #define WTF_COMPILER_SUPPORTS_BUILTIN_IS_TRIVIALLY_COPYABLE COMPILER_HAS_CLANG_FEATURE(is_trivially_copyable)
72
73 #ifdef __cplusplus
74 #if __cplusplus <= 201103L
75 #define WTF_CPP_STD_VER 11
76 #elif __cplusplus <= 201402L
77 #define WTF_CPP_STD_VER 14
78 #endif
79 #endif
80
81 #endif // defined(__clang__)
82
83 /* COMPILER(GCC_OR_CLANG) - GNU Compiler Collection or Clang */
84 #if defined(__GNUC__)
85 #define WTF_COMPILER_GCC_OR_CLANG 1
86 #endif
87
88 /* COMPILER(GCC) - GNU Compiler Collection */
89 /* Note: This section must come after the Clang section since we check !COMPILER(CLANG) here. */
90 #if COMPILER(GCC_OR_CLANG) && !COMPILER(CLANG)
91 #define WTF_COMPILER_GCC 1
92 #define WTF_COMPILER_SUPPORTS_CXX_REFERENCE_QUALIFIED_FUNCTIONS 1
93
94 #define GCC_VERSION (__GNUC__ * 10000 + __GNUC_MINOR__ * 100 + __GNUC_PATCHLEVEL__)
95 #define GCC_VERSION_AT_LEAST(major, minor, patch) (GCC_VERSION >= (major * 10000 + minor * 100 + patch))
96
97 #if !GCC_VERSION_AT_LEAST(5, 0, 0)
98 #error "Please use a newer version of GCC. WebKit requires GCC 5.0.0 or newer to compile."
99 #endif
100
101 #if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L
102 #define WTF_COMPILER_SUPPORTS_C_STATIC_ASSERT 1
103 #endif
104
105 #endif /* COMPILER(GCC) */
106
107 /* COMPILER(MINGW) - MinGW GCC */
108
109 #if defined(__MINGW32__)
110 #define WTF_COMPILER_MINGW 1
111 #include <_mingw.h>
112 #endif
113
114 /* COMPILER(MINGW64) - mingw-w64 GCC - used as additional check to exclude mingw.org specific functions */
115
116 /* Note: This section must come after the MinGW section since we check COMPILER(MINGW) here. */
117
118 #if COMPILER(MINGW) && defined(__MINGW64_VERSION_MAJOR) /* best way to check for mingw-w64 vs mingw.org */
119 #define WTF_COMPILER_MINGW64 1
120 #endif
121
122 /* COMPILER(MSVC) - Microsoft Visual C++ */
123
124 #if defined(_MSC_VER)
125
126 #define WTF_COMPILER_MSVC 1
127 #define WTF_COMPILER_SUPPORTS_CXX_REFERENCE_QUALIFIED_FUNCTIONS 1
128
129 #if _MSC_VER < 1900
130 #error "Please use a newer version of Visual Studio. WebKit requires VS2015 or newer to compile."
131 #endif
132
133 #endif
134
135 /* COMPILER(SUNCC) */
136
137 #if defined(__SUNPRO_CC) || defined(__SUNPRO_C)
138 #define WTF_COMPILER_SUNCC 1
139 #endif
140
141 #if !COMPILER(CLANG) && !COMPILER(MSVC)
142 #define WTF_COMPILER_QUIRK_CONSIDERS_UNREACHABLE_CODE 1
143 #endif
144
145 /* ==== COMPILER_SUPPORTS - additional compiler feature detection, in alphabetical order ==== */
146
147 /* COMPILER_SUPPORTS(EABI) */
148
149 #if defined(__ARM_EABI__) || defined(__EABI__)
150 #define WTF_COMPILER_SUPPORTS_EABI 1
151 #endif
152
153 /* Non-static data member initializer (NSDMI) for aggregates */
154
155 #if defined(__cpp_aggregate_nsdmi) && __cpp_aggregate_nsdmi >= 201304
156 #define WTF_COMPILER_SUPPORTS_NSDMI_FOR_AGGREGATES 1
157 #endif
158
159 /* RELAXED_CONSTEXPR */
160
161 #if defined(__cpp_constexpr) && __cpp_constexpr >= 201304
162 #define WTF_COMPILER_SUPPORTS_RELAXED_CONSTEXPR 1
163 #endif
164
165 #if !defined(RELAXED_CONSTEXPR)
166 #if COMPILER_SUPPORTS(RELAXED_CONSTEXPR)
167 #define RELAXED_CONSTEXPR constexpr
168 #else
169 #define RELAXED_CONSTEXPR
170 #endif
171 #endif
172
173 #define ASAN_ENABLED COMPILER_HAS_CLANG_FEATURE(address_sanitizer)
174
175 #if ASAN_ENABLED
176 #define SUPPRESS_ASAN __attribute__((no_sanitize_address))
177 #else
178 #define SUPPRESS_ASAN
179 #endif
180
181 /* ==== Compiler-independent macros for various compiler features, in alphabetical order ==== */
182
183 /* ALWAYS_INLINE */
184
185 #if !defined(ALWAYS_INLINE) && COMPILER(GCC_OR_CLANG) && defined(NDEBUG) && !COMPILER(MINGW)
186 #define ALWAYS_INLINE inline __attribute__((__always_inline__))
187 #endif
188
189 #if !defined(ALWAYS_INLINE) && COMPILER(MSVC) && defined(NDEBUG)
190 #define ALWAYS_INLINE __forceinline
191 #endif
192
193 #if !defined(ALWAYS_INLINE)
194 #define ALWAYS_INLINE inline
195 #endif
196
197 /* WTF_EXTERN_C_{BEGIN, END} */
198
199 #ifdef __cplusplus
200 #define WTF_EXTERN_C_BEGIN extern "C" {
201 #define WTF_EXTERN_C_END }
202 #else
203 #define WTF_EXTERN_C_BEGIN
204 #define WTF_EXTERN_C_END
205 #endif
206
207 /* FALLTHROUGH */
208
209 #if !defined(FALLTHROUGH) && defined(__cplusplus) && defined(__has_cpp_attribute)
210
211 #if __has_cpp_attribute(fallthrough)
212 #define FALLTHROUGH [[fallthrough]]
213 #elif __has_cpp_attribute(clang::fallthrough)
214 #define FALLTHROUGH [[clang::fallthrough]]
215 #elif __has_cpp_attribute(gnu::fallthrough)
216 #define FALLTHROUGH [[gnu::fallthrough]]
217 #endif
218
219 #elif !defined(FALLTHROUGH) && !defined(__cplusplus)
220
221 #if COMPILER(GCC)
222 #if GCC_VERSION_AT_LEAST(7, 0, 0)
223 #define FALLTHROUGH __attribute__ ((fallthrough))
224 #endif
225 #endif
226
227 #endif // !defined(FALLTHROUGH) && defined(__cplusplus) && defined(__has_cpp_attribute)
228
229 #if !defined(FALLTHROUGH)
230 #define FALLTHROUGH
231 #endif
232
233 /* LIKELY */
234
235 #if !defined(LIKELY) && COMPILER(GCC_OR_CLANG)
236 #define LIKELY(x) __builtin_expect(!!(x), 1)
237 #endif
238
239 #if !defined(LIKELY)
240 #define LIKELY(x) (x)
241 #endif
242
243 /* NEVER_INLINE */
244
245 #if !defined(NEVER_INLINE) && COMPILER(GCC_OR_CLANG)
246 #define NEVER_INLINE __attribute__((__noinline__))
247 #endif
248
249 #if !defined(NEVER_INLINE) && COMPILER(MSVC)
250 #define NEVER_INLINE __declspec(noinline)
251 #endif
252
253 #if !defined(NEVER_INLINE)
254 #define NEVER_INLINE
255 #endif
256
257 /* NO_RETURN */
258
259 #if !defined(NO_RETURN) && COMPILER(GCC_OR_CLANG)
260 #define NO_RETURN __attribute((__noreturn__))
261 #endif
262
263 #if !defined(NO_RETURN) && COMPILER(MSVC)
264 #define NO_RETURN __declspec(noreturn)
265 #endif
266
267 #if !defined(NO_RETURN)
268 #define NO_RETURN
269 #endif
270
271 /* NOT_TAIL_CALLED */
272
273 #if !defined(NOT_TAIL_CALLED) && defined(__has_attribute)
274 #if __has_attribute(not_tail_called)
275 #define NOT_TAIL_CALLED __attribute__((not_tail_called))
276 #endif
277 #endif
278
279 #if !defined(NOT_TAIL_CALLED)
280 #define NOT_TAIL_CALLED
281 #endif
282
283 /* RETURNS_NONNULL */
284 #if !defined(RETURNS_NONNULL) && COMPILER(GCC_OR_CLANG)
285 #define RETURNS_NONNULL __attribute__((returns_nonnull))
286 #endif
287
288 #if !defined(RETURNS_NONNULL)
289 #define RETURNS_NONNULL
290 #endif
291
292 /* NO_RETURN_WITH_VALUE */
293
294 #if !defined(NO_RETURN_WITH_VALUE) && !COMPILER(MSVC)
295 #define NO_RETURN_WITH_VALUE NO_RETURN
296 #endif
297
298 #if !defined(NO_RETURN_WITH_VALUE)
299 #define NO_RETURN_WITH_VALUE
300 #endif
301
302 /* OBJC_CLASS */
303
304 #if !defined(OBJC_CLASS) && defined(__OBJC__)
305 #define OBJC_CLASS @class
306 #endif
307
308 #if !defined(OBJC_CLASS)
309 #define OBJC_CLASS class
310 #endif
311
312 /* PURE_FUNCTION */
313
314 #if !defined(PURE_FUNCTION) && COMPILER(GCC_OR_CLANG)
315 #define PURE_FUNCTION __attribute__((__pure__))
316 #endif
317
318 #if !defined(PURE_FUNCTION)
319 #define PURE_FUNCTION
320 #endif
321
322 /* UNUSED_FUNCTION */
323
324 #if !defined(UNUSED_FUNCTION) && COMPILER(GCC_OR_CLANG)
325 #define UNUSED_FUNCTION __attribute__((unused))
326 #endif
327
328 #if !defined(UNUSED_FUNCTION)
329 #define UNUSED_FUNCTION
330 #endif
331
332 /* REFERENCED_FROM_ASM */
333
334 #if !defined(REFERENCED_FROM_ASM) && COMPILER(GCC_OR_CLANG)
335 #define REFERENCED_FROM_ASM __attribute__((__used__))
336 #endif
337
338 #if !defined(REFERENCED_FROM_ASM)
339 #define REFERENCED_FROM_ASM
340 #endif
341
342 /* UNLIKELY */
343
344 #if !defined(UNLIKELY) && COMPILER(GCC_OR_CLANG)
345 #define UNLIKELY(x) __builtin_expect(!!(x), 0)
346 #endif
347
348 #if !defined(UNLIKELY)
349 #define UNLIKELY(x) (x)
350 #endif
351
352 /* UNUSED_LABEL */
353
354 /* Keep the compiler from complaining for a local label that is defined but not referenced. */
355 /* Helpful when mixing hand-written and autogenerated code. */
356
357 #if !defined(UNUSED_LABEL) && COMPILER(MSVC)
358 #define UNUSED_LABEL(label) if (false) goto label
359 #endif
360
361 #if !defined(UNUSED_LABEL)
362 #define UNUSED_LABEL(label) UNUSED_PARAM(&& label)
363 #endif
364
365 /* UNUSED_PARAM */
366
367 #if !defined(UNUSED_PARAM) && COMPILER(MSVC)
368 #define UNUSED_PARAM(variable) (void)&variable
369 #endif
370
371 #if !defined(UNUSED_PARAM)
372 #define UNUSED_PARAM(variable) (void)variable
373 #endif
374
375 /* WARN_UNUSED_RETURN */
376
377 #if !defined(WARN_UNUSED_RETURN) && COMPILER(GCC_OR_CLANG)
378 #define WARN_UNUSED_RETURN __attribute__((__warn_unused_result__))
379 #endif
380
381 #if !defined(WARN_UNUSED_RETURN)
382 #define WARN_UNUSED_RETURN
383 #endif
384
385 #if !defined(__has_include) && COMPILER(MSVC)
386 #define __has_include(path) 0
387 #endif
388
389 #endif /* WTF_Compiler_h */