blob: 2b05241ebf72fbfd60ee2aa46a4979bc67803160 [file] [log] [blame]
Avi Drissmane4622aa2022-09-08 20:36:061// Copyright 2019 The Chromium Authors
Daniel Chenged0471b2019-05-10 11:43:362// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#ifndef BASE_IMMEDIATE_CRASH_H_
6#define BASE_IMMEDIATE_CRASH_H_
7
8#include "build/build_config.h"
9
10// Crashes in the fastest possible way with no attempt at logging.
Daniel Cheng69359e92019-06-20 23:43:0211// There are several constraints; see http://crbug.com/664209 for more context.
12//
13// - TRAP_SEQUENCE_() must be fatal. It should not be possible to ignore the
14// resulting exception or simply hit 'continue' to skip over it in a debugger.
15// - Different instances of TRAP_SEQUENCE_() must not be folded together, to
16// ensure crash reports are debuggable. Unlike __builtin_trap(), asm volatile
17// blocks will not be folded together.
18// Note: TRAP_SEQUENCE_() previously required an instruction with a unique
19// nonce since unlike clang, GCC folds together identical asm volatile
20// blocks.
21// - TRAP_SEQUENCE_() must produce a signal that is distinct from an invalid
22// memory access.
23// - TRAP_SEQUENCE_() must be treated as a set of noreturn instructions.
24// __builtin_unreachable() is used to provide that hint here. clang also uses
25// this as a heuristic to pack the instructions in the function epilogue to
26// improve code density.
27//
28// Additional properties that are nice to have:
29// - TRAP_SEQUENCE_() should be as compact as possible.
30// - The first instruction of TRAP_SEQUENCE_() should not change, to avoid
31// shifting crash reporting clusters. As a consequence of this, explicit
32// assembly is preferred over intrinsics.
33// Note: this last bullet point may no longer be true, and may be removed in
34// the future.
35
Reid Klecknerc55cd142019-07-23 00:38:1736// Note: TRAP_SEQUENCE Is currently split into two macro helpers due to the fact
37// that clang emits an actual instruction for __builtin_unreachable() on certain
38// platforms (see https://crbug.com/958675). In addition, the int3/bkpt/brk will
39// be removed in followups, so splitting it up like this now makes it easy to
40// land the followups.
Daniel Cheng69359e92019-06-20 23:43:0241
Daniel Chenged0471b2019-05-10 11:43:3642#if defined(COMPILER_GCC)
43
Xiaohan Wang38e4ebb2022-01-19 06:57:4344#if BUILDFLAG(IS_NACL)
Daniel Chenged0471b2019-05-10 11:43:3645
Daniel Cheng69359e92019-06-20 23:43:0246// Crash report accuracy is not guaranteed on NaCl.
Reid Klecknerc55cd142019-07-23 00:38:1747#define TRAP_SEQUENCE1_() __builtin_trap()
48#define TRAP_SEQUENCE2_() asm volatile("")
Daniel Cheng69359e92019-06-20 23:43:0249
50#elif defined(ARCH_CPU_X86_FAMILY)
51
Reid Klecknerc55cd142019-07-23 00:38:1752// TODO(https://crbug.com/958675): In theory, it should be possible to use just
53// int3. However, there are a number of crashes with SIGILL as the exception
54// code, so it seems likely that there's a signal handler that allows execution
55// to continue after SIGTRAP.
56#define TRAP_SEQUENCE1_() asm volatile("int3")
Daniel Cheng69359e92019-06-20 23:43:0257
Xiaohan Wang38e4ebb2022-01-19 06:57:4358#if BUILDFLAG(IS_APPLE)
Daniel Cheng69359e92019-06-20 23:43:0259// Intentionally empty: __builtin_unreachable() is always part of the sequence
60// (see IMMEDIATE_CRASH below) and already emits a ud2 on Mac.
61#define TRAP_SEQUENCE2_() asm volatile("")
62#else
63#define TRAP_SEQUENCE2_() asm volatile("ud2")
Xiaohan Wang38e4ebb2022-01-19 06:57:4364#endif // BUILDFLAG(IS_APPLE)
Daniel Cheng69359e92019-06-20 23:43:0265
66#elif defined(ARCH_CPU_ARMEL)
67
Daniel Chenged0471b2019-05-10 11:43:3668// bkpt will generate a SIGBUS when running on armv7 and a SIGTRAP when running
69// as a 32 bit userspace app on arm64. There doesn't seem to be any way to
70// cause a SIGTRAP from userspace without using a syscall (which would be a
71// problem for sandboxing).
Reid Klecknerc55cd142019-07-23 00:38:1772// TODO(https://crbug.com/958675): Remove bkpt from this sequence.
73#define TRAP_SEQUENCE1_() asm volatile("bkpt #0")
Daniel Cheng69359e92019-06-20 23:43:0274#define TRAP_SEQUENCE2_() asm volatile("udf #0")
Daniel Chenged0471b2019-05-10 11:43:3675
Daniel Cheng69359e92019-06-20 23:43:0276#elif defined(ARCH_CPU_ARM64)
77
Daniel Chenged0471b2019-05-10 11:43:3678// This will always generate a SIGTRAP on arm64.
Reid Klecknerc55cd142019-07-23 00:38:1779// TODO(https://crbug.com/958675): Remove brk from this sequence.
80#define TRAP_SEQUENCE1_() asm volatile("brk #0")
Daniel Cheng69359e92019-06-20 23:43:0281#define TRAP_SEQUENCE2_() asm volatile("hlt #0")
Daniel Chenged0471b2019-05-10 11:43:3682
83#else
Daniel Cheng69359e92019-06-20 23:43:0284
Daniel Chenged0471b2019-05-10 11:43:3685// Crash report accuracy will not be guaranteed on other architectures, but at
86// least this will crash as expected.
Reid Klecknerc55cd142019-07-23 00:38:1787#define TRAP_SEQUENCE1_() __builtin_trap()
88#define TRAP_SEQUENCE2_() asm volatile("")
Daniel Cheng69359e92019-06-20 23:43:0289
Daniel Chenged0471b2019-05-10 11:43:3690#endif // ARCH_CPU_*
91
92#elif defined(COMPILER_MSVC)
93
Daniel Chenged0471b2019-05-10 11:43:3694#if !defined(__clang__)
Daniel Cheng69359e92019-06-20 23:43:0295
96// MSVC x64 doesn't support inline asm, so use the MSVC intrinsic.
Reid Klecknerc55cd142019-07-23 00:38:1797#define TRAP_SEQUENCE1_() __debugbreak()
98#define TRAP_SEQUENCE2_()
Daniel Cheng69359e92019-06-20 23:43:0299
Daniel Chenged0471b2019-05-10 11:43:36100#elif defined(ARCH_CPU_ARM64)
Daniel Cheng69359e92019-06-20 23:43:02101
Tom Tan9fc93d82019-10-30 09:01:25102// Windows ARM64 uses "BRK #F000" as its breakpoint instruction, and
103// __debugbreak() generates that in both VC++ and clang.
104#define TRAP_SEQUENCE1_() __debugbreak()
Daniel Cheng69359e92019-06-20 23:43:02105// Intentionally empty: __builtin_unreachable() is always part of the sequence
Nico Weber8b833cd2019-09-16 11:47:40106// (see IMMEDIATE_CRASH below) and already emits a ud2 on Win64,
107// https://crbug.com/958373
Daniel Cheng69359e92019-06-20 23:43:02108#define TRAP_SEQUENCE2_() __asm volatile("")
109
Daniel Chenged0471b2019-05-10 11:43:36110#else
Daniel Cheng69359e92019-06-20 23:43:02111
Reid Klecknerc55cd142019-07-23 00:38:17112#define TRAP_SEQUENCE1_() asm volatile("int3")
Daniel Cheng69359e92019-06-20 23:43:02113#define TRAP_SEQUENCE2_() asm volatile("ud2")
Daniel Cheng69359e92019-06-20 23:43:02114
Daniel Chenged0471b2019-05-10 11:43:36115#endif // __clang__
116
117#else
Daniel Cheng69359e92019-06-20 23:43:02118
119#error No supported trap sequence!
120
Daniel Chenged0471b2019-05-10 11:43:36121#endif // COMPILER_GCC
122
Daniel Cheng69359e92019-06-20 23:43:02123#define TRAP_SEQUENCE_() \
124 do { \
Reid Klecknerc55cd142019-07-23 00:38:17125 TRAP_SEQUENCE1_(); \
Daniel Cheng69359e92019-06-20 23:43:02126 TRAP_SEQUENCE2_(); \
127 } while (false)
128
Daniel Chenged0471b2019-05-10 11:43:36129// CHECK() and the trap sequence can be invoked from a constexpr function.
130// This could make compilation fail on GCC, as it forbids directly using inline
131// asm inside a constexpr function. However, it allows calling a lambda
132// expression including the same asm.
133// The side effect is that the top of the stacktrace will not point to the
134// calling function, but to this anonymous lambda. This is still useful as the
135// full name of the lambda will typically include the name of the function that
136// calls CHECK() and the debugger will still break at the right line of code.
Nico Weberdf757b12022-01-06 23:06:13137#if !defined(COMPILER_GCC) || defined(__clang__)
Daniel Cheng69359e92019-06-20 23:43:02138
139#define WRAPPED_TRAP_SEQUENCE_() TRAP_SEQUENCE_()
140
Daniel Chenged0471b2019-05-10 11:43:36141#else
Daniel Cheng69359e92019-06-20 23:43:02142
143#define WRAPPED_TRAP_SEQUENCE_() \
144 do { \
145 [] { TRAP_SEQUENCE_(); }(); \
Daniel Chenged0471b2019-05-10 11:43:36146 } while (false)
Daniel Cheng69359e92019-06-20 23:43:02147
Nico Weberdf757b12022-01-06 23:06:13148#endif // !defined(COMPILER_GCC) || defined(__clang__)
Daniel Chenged0471b2019-05-10 11:43:36149
150#if defined(__clang__) || defined(COMPILER_GCC)
Daniel Cheng69359e92019-06-20 23:43:02151
152// __builtin_unreachable() hints to the compiler that this is noreturn and can
153// be packed in the function epilogue.
154#define IMMEDIATE_CRASH() \
155 ({ \
156 WRAPPED_TRAP_SEQUENCE_(); \
157 __builtin_unreachable(); \
Daniel Chenged0471b2019-05-10 11:43:36158 })
Daniel Cheng69359e92019-06-20 23:43:02159
Daniel Chenged0471b2019-05-10 11:43:36160#else
Daniel Cheng69359e92019-06-20 23:43:02161
Daniel Chenged0471b2019-05-10 11:43:36162// This is supporting non-chromium user of logging.h to build with MSVC, like
163// pdfium. On MSVC there is no __builtin_unreachable().
Daniel Cheng69359e92019-06-20 23:43:02164#define IMMEDIATE_CRASH() WRAPPED_TRAP_SEQUENCE_()
165
166#endif // defined(__clang__) || defined(COMPILER_GCC)
Daniel Chenged0471b2019-05-10 11:43:36167
168#endif // BASE_IMMEDIATE_CRASH_H_