123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308 |
- // Copyright (c) 2012 The Chromium Authors. All rights reserved.
- // Use of this source code is governed by a BSD-style license that can be
- // found in the LICENSE file.
- #ifndef BASE_COMPILER_SPECIFIC_H_
- #define BASE_COMPILER_SPECIFIC_H_
- #include "build/build_config.h"
- #if defined(COMPILER_MSVC) && !defined(__clang__)
- #error "Only clang-cl is supported on Windows, see https://crbug.com/988071"
- #endif
- // Annotate a variable indicating it's ok if the variable is not used.
- // (Typically used to silence a compiler warning when the assignment
- // is important for some other reason.)
- // Use like:
- // int x = ...;
- // ALLOW_UNUSED_LOCAL(x);
- #define ALLOW_UNUSED_LOCAL(x) (void)x
- // Annotate a typedef or function indicating it's ok if it's not used.
- // Use like:
- // typedef Foo Bar ALLOW_UNUSED_TYPE;
- #if defined(COMPILER_GCC) || defined(__clang__)
- #define ALLOW_UNUSED_TYPE __attribute__((unused))
- #else
- #define ALLOW_UNUSED_TYPE
- #endif
- // Annotate a function indicating it should not be inlined.
- // Use like:
- // NOINLINE void DoStuff() { ... }
- #if defined(COMPILER_GCC)
- #define NOINLINE __attribute__((noinline))
- #elif defined(COMPILER_MSVC)
- #define NOINLINE __declspec(noinline)
- #else
- #define NOINLINE
- #endif
- #if defined(COMPILER_GCC) && defined(NDEBUG)
- #define ALWAYS_INLINE inline __attribute__((__always_inline__))
- #elif defined(COMPILER_MSVC) && defined(NDEBUG)
- #define ALWAYS_INLINE __forceinline
- #else
- #define ALWAYS_INLINE inline
- #endif
- // Annotate a function indicating it should never be tail called. Useful to make
- // sure callers of the annotated function are never omitted from call-stacks.
- // To provide the complementary behavior (prevent the annotated function from
- // being omitted) look at NOINLINE. Also note that this doesn't prevent code
- // folding of multiple identical caller functions into a single signature. To
- // prevent code folding, see base::debug::Alias.
- // Use like:
- // void NOT_TAIL_CALLED FooBar();
- #if defined(__clang__) && __has_attribute(not_tail_called)
- #define NOT_TAIL_CALLED __attribute__((not_tail_called))
- #else
- #define NOT_TAIL_CALLED
- #endif
- // Specify memory alignment for structs, classes, etc.
- // Use like:
- // class ALIGNAS(16) MyClass { ... }
- // ALIGNAS(16) int array[4];
- //
- // In most places you can use the C++11 keyword "alignas", which is preferred.
- //
- // But compilers have trouble mixing __attribute__((...)) syntax with
- // alignas(...) syntax.
- //
- // Doesn't work in clang or gcc:
- // struct alignas(16) __attribute__((packed)) S { char c; };
- // Works in clang but not gcc:
- // struct __attribute__((packed)) alignas(16) S2 { char c; };
- // Works in clang and gcc:
- // struct alignas(16) S3 { char c; } __attribute__((packed));
- //
- // There are also some attributes that must be specified *before* a class
- // definition: visibility (used for exporting functions/classes) is one of
- // these attributes. This means that it is not possible to use alignas() with a
- // class that is marked as exported.
- #if defined(COMPILER_MSVC)
- #define ALIGNAS(byte_alignment) __declspec(align(byte_alignment))
- #elif defined(COMPILER_GCC)
- #define ALIGNAS(byte_alignment) __attribute__((aligned(byte_alignment)))
- #endif
- // Annotate a function indicating the caller must examine the return value.
- // Use like:
- // int foo() WARN_UNUSED_RESULT;
- // To explicitly ignore a result, see |ignore_result()| in base/macros.h.
- #undef WARN_UNUSED_RESULT
- #if defined(COMPILER_GCC) || defined(__clang__)
- #define WARN_UNUSED_RESULT __attribute__((warn_unused_result))
- #else
- #define WARN_UNUSED_RESULT
- #endif
- // Tell the compiler a function is using a printf-style format string.
- // |format_param| is the one-based index of the format string parameter;
- // |dots_param| is the one-based index of the "..." parameter.
- // For v*printf functions (which take a va_list), pass 0 for dots_param.
- // (This is undocumented but matches what the system C headers do.)
- // For member functions, the implicit this parameter counts as index 1.
- #if defined(COMPILER_GCC) || defined(__clang__)
- #define PRINTF_FORMAT(format_param, dots_param) \
- __attribute__((format(printf, format_param, dots_param)))
- #else
- #define PRINTF_FORMAT(format_param, dots_param)
- #endif
- // WPRINTF_FORMAT is the same, but for wide format strings.
- // This doesn't appear to yet be implemented in any compiler.
- // See http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38308 .
- #define WPRINTF_FORMAT(format_param, dots_param)
- // If available, it would look like:
- // __attribute__((format(wprintf, format_param, dots_param)))
- // Sanitizers annotations.
- #if defined(__has_attribute)
- #if __has_attribute(no_sanitize)
- #define NO_SANITIZE(what) __attribute__((no_sanitize(what)))
- #endif
- #endif
- #if !defined(NO_SANITIZE)
- #define NO_SANITIZE(what)
- #endif
- // MemorySanitizer annotations.
- #if defined(MEMORY_SANITIZER) && !defined(OS_NACL)
- #include <sanitizer/msan_interface.h>
- // Mark a memory region fully initialized.
- // Use this to annotate code that deliberately reads uninitialized data, for
- // example a GC scavenging root set pointers from the stack.
- #define MSAN_UNPOISON(p, size) __msan_unpoison(p, size)
- // Check a memory region for initializedness, as if it was being used here.
- // If any bits are uninitialized, crash with an MSan report.
- // Use this to sanitize data which MSan won't be able to track, e.g. before
- // passing data to another process via shared memory.
- #define MSAN_CHECK_MEM_IS_INITIALIZED(p, size) \
- __msan_check_mem_is_initialized(p, size)
- #else // MEMORY_SANITIZER
- #define MSAN_UNPOISON(p, size)
- #define MSAN_CHECK_MEM_IS_INITIALIZED(p, size)
- #endif // MEMORY_SANITIZER
- // DISABLE_CFI_PERF -- Disable Control Flow Integrity for perf reasons.
- #if !defined(DISABLE_CFI_PERF)
- #if defined(__clang__) && defined(OFFICIAL_BUILD)
- #define DISABLE_CFI_PERF __attribute__((no_sanitize("cfi")))
- #else
- #define DISABLE_CFI_PERF
- #endif
- #endif
- // DISABLE_CFI_ICALL -- Disable Control Flow Integrity indirect call checks.
- #if !defined(DISABLE_CFI_ICALL)
- #if defined(OS_WIN)
- // Windows also needs __declspec(guard(nocf)).
- #define DISABLE_CFI_ICALL NO_SANITIZE("cfi-icall") __declspec(guard(nocf))
- #else
- #define DISABLE_CFI_ICALL NO_SANITIZE("cfi-icall")
- #endif
- #endif
- #if !defined(DISABLE_CFI_ICALL)
- #define DISABLE_CFI_ICALL
- #endif
- // Macro useful for writing cross-platform function pointers.
- #if !defined(CDECL)
- #if defined(OS_WIN)
- #define CDECL __cdecl
- #else // defined(OS_WIN)
- #define CDECL
- #endif // defined(OS_WIN)
- #endif // !defined(CDECL)
- // Macro for hinting that an expression is likely to be false.
- #if !defined(UNLIKELY)
- #if defined(COMPILER_GCC) || defined(__clang__)
- #define UNLIKELY(x) __builtin_expect(!!(x), 0)
- #else
- #define UNLIKELY(x) (x)
- #endif // defined(COMPILER_GCC)
- #endif // !defined(UNLIKELY)
- #if !defined(LIKELY)
- #if defined(COMPILER_GCC) || defined(__clang__)
- #define LIKELY(x) __builtin_expect(!!(x), 1)
- #else
- #define LIKELY(x) (x)
- #endif // defined(COMPILER_GCC)
- #endif // !defined(LIKELY)
- // Compiler feature-detection.
- // clang.llvm.org/docs/LanguageExtensions.html#has-feature-and-has-extension
- #if defined(__has_feature)
- #define HAS_FEATURE(FEATURE) __has_feature(FEATURE)
- #else
- #define HAS_FEATURE(FEATURE) 0
- #endif
- // Macro for telling -Wimplicit-fallthrough that a fallthrough is intentional.
- #if defined(__clang__)
- #define FALLTHROUGH [[clang::fallthrough]]
- #else
- #define FALLTHROUGH
- #endif
- #if defined(COMPILER_GCC)
- #define PRETTY_FUNCTION __PRETTY_FUNCTION__
- #elif defined(COMPILER_MSVC)
- #define PRETTY_FUNCTION __FUNCSIG__
- #else
- // See https://en.cppreference.com/w/c/language/function_definition#func
- #define PRETTY_FUNCTION __func__
- #endif
- #if !defined(CPU_ARM_NEON)
- #if defined(__arm__)
- #if !defined(__ARMEB__) && !defined(__ARM_EABI__) && !defined(__EABI__) && \
- !defined(__VFP_FP__) && !defined(_WIN32_WCE) && !defined(ANDROID)
- #error Chromium does not support middle endian architecture
- #endif
- #if defined(__ARM_NEON__)
- #define CPU_ARM_NEON 1
- #endif
- #endif // defined(__arm__)
- #endif // !defined(CPU_ARM_NEON)
- #if !defined(HAVE_MIPS_MSA_INTRINSICS)
- #if defined(__mips_msa) && defined(__mips_isa_rev) && (__mips_isa_rev >= 5)
- #define HAVE_MIPS_MSA_INTRINSICS 1
- #endif
- #endif
- #if defined(__clang__) && __has_attribute(uninitialized)
- // Attribute "uninitialized" disables -ftrivial-auto-var-init=pattern for
- // the specified variable.
- // Library-wide alternative is
- // 'configs -= [ "//build/config/compiler:default_init_stack_vars" ]' in .gn
- // file.
- //
- // See "init_stack_vars" in build/config/compiler/BUILD.gn and
- // http://crbug.com/977230
- // "init_stack_vars" is enabled for non-official builds and we hope to enable it
- // in official build in 2020 as well. The flag writes fixed pattern into
- // uninitialized parts of all local variables. In rare cases such initialization
- // is undesirable and attribute can be used:
- // 1. Degraded performance
- // In most cases compiler is able to remove additional stores. E.g. if memory is
- // never accessed or properly initialized later. Preserved stores mostly will
- // not affect program performance. However if compiler failed on some
- // performance critical code we can get a visible regression in a benchmark.
- // 2. memset, memcpy calls
- // Compiler may replaces some memory writes with memset or memcpy calls. This is
- // not -ftrivial-auto-var-init specific, but it can happen more likely with the
- // flag. It can be a problem if code is not linked with C run-time library.
- //
- // Note: The flag is security risk mitigation feature. So in future the
- // attribute uses should be avoided when possible. However to enable this
- // mitigation on the most of the code we need to be less strict now and minimize
- // number of exceptions later. So if in doubt feel free to use attribute, but
- // please document the problem for someone who is going to cleanup it later.
- // E.g. platform, bot, benchmark or test name in patch description or next to
- // the attribute.
- #define STACK_UNINITIALIZED __attribute__((uninitialized))
- #else
- #define STACK_UNINITIALIZED
- #endif
- // The ANALYZER_ASSUME_TRUE(bool arg) macro adds compiler-specific hints
- // to Clang which control what code paths are statically analyzed,
- // and is meant to be used in conjunction with assert & assert-like functions.
- // The expression is passed straight through if analysis isn't enabled.
- //
- // ANALYZER_SKIP_THIS_PATH() suppresses static analysis for the current
- // codepath and any other branching codepaths that might follow.
- #if defined(__clang_analyzer__)
- inline constexpr bool AnalyzerNoReturn() __attribute__((analyzer_noreturn)) {
- return false;
- }
- inline constexpr bool AnalyzerAssumeTrue(bool arg) {
- // AnalyzerNoReturn() is invoked and analysis is terminated if |arg| is
- // false.
- return arg || AnalyzerNoReturn();
- }
- #define ANALYZER_ASSUME_TRUE(arg) ::AnalyzerAssumeTrue(!!(arg))
- #define ANALYZER_SKIP_THIS_PATH() static_cast<void>(::AnalyzerNoReturn())
- #define ANALYZER_ALLOW_UNUSED(var) static_cast<void>(var);
- #else // !defined(__clang_analyzer__)
- #define ANALYZER_ASSUME_TRUE(arg) (arg)
- #define ANALYZER_SKIP_THIS_PATH()
- #define ANALYZER_ALLOW_UNUSED(var) static_cast<void>(var);
- #endif // defined(__clang_analyzer__)
- #endif // BASE_COMPILER_SPECIFIC_H_
|