gcc/sanitizer.def

   1 /* This file contains the definitions and documentation for the
   2    Address Sanitizer and Thread Sanitizer builtins used in the GNU compiler.
   3    Copyright (C) 2012-2017 Free Software Foundation, Inc.
   4
   5 This file is part of GCC.
   6
   7 GCC is free software; you can redistribute it and/or modify it under
   8 the terms of the GNU General Public License as published by the Free
   9 Software Foundation; either version 3, or (at your option) any later
  10 version.
  11
  12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15 for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GCC; see the file COPYING3.  If not see
  19 <http://www.gnu.org/licenses/>.  */
  20
  21 /* Before including this file, you should define a macro:
  22
  23      DEF_BUILTIN_STUB(ENUM, NAME)
  24      DEF_SANITIZER_BUILTIN (ENUM, NAME, TYPE, ATTRS)
  25
  26    See builtins.def for details.
  27    The builtins are created by the C-family of FEs in c-family/c-common.c,
  28    for other FEs by asan.c.  */
  29
  30 /* This has to come before all the sanitizer builtins.  */
  31 DEF_BUILTIN_STUB(BEGIN_SANITIZER_BUILTINS, (const char *)0)
  32
  33 /* Address Sanitizer */
  34 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_INIT, "__asan_init",
  35                       BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
  36 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_VERSION_MISMATCH_CHECK,
  37                       "__asan_version_mismatch_check_v8",
  38                       BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
  39 /* Do not reorder the BUILT_IN_ASAN_{REPORT,CHECK}* builtins, e.g. cfgcleanup.c
  40    relies on this order.  */
  41 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1, "__asan_report_load1",
  42                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  43 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2, "__asan_report_load2",
  44                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  45 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4, "__asan_report_load4",
  46                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  47 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8, "__asan_report_load8",
  48                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  49 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16, "__asan_report_load16",
  50                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  51 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD_N, "__asan_report_load_n",
  52                       BT_FN_VOID_PTR_PTRMODE,
  53                       ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  54 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1, "__asan_report_store1",
  55                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  56 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2, "__asan_report_store2",
  57                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  58 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4, "__asan_report_store4",
  59                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  60 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8, "__asan_report_store8",
  61                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  62 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16, "__asan_report_store16",
  63                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  64 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE_N, "__asan_report_store_n",
  65                       BT_FN_VOID_PTR_PTRMODE,
  66                       ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
  67 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1_NOABORT,
  68                       "__asan_report_load1_noabort",
  69                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
  70 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2_NOABORT,
  71                       "__asan_report_load2_noabort",
  72                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
  73 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4_NOABORT,
  74                       "__asan_report_load4_noabort",
  75                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
  76 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8_NOABORT,
  77                       "__asan_report_load8_noabort",
  78                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
  79 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16_NOABORT,
  80                       "__asan_report_load16_noabort",
  81                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
  82 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD_N_NOABORT,
  83                       "__asan_report_load_n_noabort",
  84                       BT_FN_VOID_PTR_PTRMODE,
  85                       ATTR_TMPURE_NOTHROW_LEAF_LIST)
  86 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1_NOABORT,
  87                       "__asan_report_store1_noabort",
  88                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
  89 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2_NOABORT,
  90                       "__asan_report_store2_noabort",
  91                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
  92 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4_NOABORT,
  93                       "__asan_report_store4_noabort",
  94                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
  95 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8_NOABORT,
  96                       "__asan_report_store8_noabort",
  97                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
  98 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16_NOABORT,
  99                       "__asan_report_store16_noabort",
 100                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 101 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE_N_NOABORT,
 102                       "__asan_report_store_n_noabort",
 103                       BT_FN_VOID_PTR_PTRMODE,
 104                       ATTR_TMPURE_NOTHROW_LEAF_LIST)
 105 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD1, "__asan_load1",
 106                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 107 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD2, "__asan_load2",
 108                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 109 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD4, "__asan_load4",
 110                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 111 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD8, "__asan_load8",
 112                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 113 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD16, "__asan_load16",
 114                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 115 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOADN, "__asan_loadN",
 116                       BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 117 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE1, "__asan_store1",
 118                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 119 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE2, "__asan_store2",
 120                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 121 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE4, "__asan_store4",
 122                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 123 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE8, "__asan_store8",
 124                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 125 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE16, "__asan_store16",
 126                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 127 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STOREN, "__asan_storeN",
 128                       BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 129 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD1_NOABORT, "__asan_load1_noabort",
 130                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 131 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD2_NOABORT, "__asan_load2_noabort",
 132                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 133 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD4_NOABORT, "__asan_load4_noabort",
 134                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 135 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD8_NOABORT, "__asan_load8_noabort",
 136                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 137 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD16_NOABORT, "__asan_load16_noabort",
 138                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 139 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOADN_NOABORT, "__asan_loadN_noabort",
 140                       BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 141 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE1_NOABORT, "__asan_store1_noabort",
 142                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 143 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE2_NOABORT, "__asan_store2_noabort",
 144                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 145 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE4_NOABORT, "__asan_store4_noabort",
 146                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 147 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE8_NOABORT, "__asan_store8_noabort",
 148                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 149 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE16_NOABORT, "__asan_store16_noabort",
 150                       BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 151 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STOREN_NOABORT, "__asan_storeN_noabort",
 152                       BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 153 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REGISTER_GLOBALS,
 154                       "__asan_register_globals",
 155                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
 156 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNREGISTER_GLOBALS,
 157                       "__asan_unregister_globals",
 158                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
 159 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_HANDLE_NO_RETURN,
 160                       "__asan_handle_no_return",
 161                       BT_FN_VOID, ATTR_TMPURE_NOTHROW_LEAF_LIST)
 162 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_BEFORE_DYNAMIC_INIT,
 163                       "__asan_before_dynamic_init",
 164                       BT_FN_VOID_CONST_PTR, ATTR_NOTHROW_LEAF_LIST)
 165 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_AFTER_DYNAMIC_INIT,
 166                       "__asan_after_dynamic_init",
 167                       BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
 168 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_POISON_STACK_MEMORY,
 169                       "__asan_poison_stack_memory",
 170                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
 171 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNPOISON_STACK_MEMORY,
 172                       "__asan_unpoison_stack_memory",
 173                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
 174 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_ALLOCA_POISON, "__asan_alloca_poison",
 175                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
 176 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_ALLOCAS_UNPOISON, "__asan_allocas_unpoison",
 177                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
 178
 179 /* Thread Sanitizer */
 180 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_INIT, "__tsan_init",
 181                       BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
 182 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_ENTRY, "__tsan_func_entry",
 183                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 184 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_EXIT, "__tsan_func_exit",
 185                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 186 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VPTR_UPDATE, "__tsan_vptr_update",
 187                       BT_FN_VOID_PTR_PTR, ATTR_NOTHROW_LEAF_LIST)
 188 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ1, "__tsan_read1",
 189                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 190 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ2, "__tsan_read2",
 191                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 192 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ4, "__tsan_read4",
 193                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 194 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ8, "__tsan_read8",
 195                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 196 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ16, "__tsan_read16",
 197                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 198 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE1, "__tsan_write1",
 199                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 200 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE2, "__tsan_write2",
 201                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 202 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE4, "__tsan_write4",
 203                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 204 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE8, "__tsan_write8",
 205                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 206 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE16, "__tsan_write16",
 207                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
 208 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ_RANGE, "__tsan_read_range",
 209                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
 210 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE_RANGE, "__tsan_write_range",
 211                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
 212
 213 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_LOAD,
 214                       "__tsan_atomic8_load",
 215                       BT_FN_I1_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
 216 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_LOAD,
 217                       "__tsan_atomic16_load",
 218                       BT_FN_I2_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
 219 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_LOAD,
 220                       "__tsan_atomic32_load",
 221                       BT_FN_I4_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
 222 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_LOAD,
 223                       "__tsan_atomic64_load",
 224                       BT_FN_I8_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
 225 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_LOAD,
 226                       "__tsan_atomic128_load",
 227                       BT_FN_I16_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
 228
 229 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_STORE,
 230                       "__tsan_atomic8_store",
 231                       BT_FN_VOID_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
 232 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_STORE,
 233                       "__tsan_atomic16_store",
 234                       BT_FN_VOID_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
 235 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_STORE,
 236                       "__tsan_atomic32_store",
 237                       BT_FN_VOID_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
 238 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_STORE,
 239                       "__tsan_atomic64_store",
 240                       BT_FN_VOID_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
 241 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_STORE,
 242                       "__tsan_atomic128_store",
 243                       BT_FN_VOID_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
 244
 245 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_EXCHANGE,
 246                       "__tsan_atomic8_exchange",
 247                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
 248 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_EXCHANGE,
 249                       "__tsan_atomic16_exchange",
 250                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
 251 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_EXCHANGE,
 252                       "__tsan_atomic32_exchange",
 253                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
 254 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_EXCHANGE,
 255                       "__tsan_atomic64_exchange",
 256                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
 257 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_EXCHANGE,
 258                       "__tsan_atomic128_exchange",
 259                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
 260
 261 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_ADD,
 262                       "__tsan_atomic8_fetch_add",
 263                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
 264 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_ADD,
 265                       "__tsan_atomic16_fetch_add",
 266                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
 267 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_ADD,
 268                       "__tsan_atomic32_fetch_add",
 269                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
 270 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_ADD,
 271                       "__tsan_atomic64_fetch_add",
 272                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
 273 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_ADD,
 274                       "__tsan_atomic128_fetch_add",
 275                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
 276
 277 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_SUB,
 278                       "__tsan_atomic8_fetch_sub",
 279                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
 280 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_SUB,
 281                       "__tsan_atomic16_fetch_sub",
 282                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
 283 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_SUB,
 284                       "__tsan_atomic32_fetch_sub",
 285                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
 286 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_SUB,
 287                       "__tsan_atomic64_fetch_sub",
 288                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
 289 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_SUB,
 290                       "__tsan_atomic128_fetch_sub",
 291                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
 292
 293 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_AND,
 294                       "__tsan_atomic8_fetch_and",
 295                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
 296 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_AND,
 297                       "__tsan_atomic16_fetch_and",
 298                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
 299 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_AND,
 300                       "__tsan_atomic32_fetch_and",
 301                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
 302 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_AND,
 303                       "__tsan_atomic64_fetch_and",
 304                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
 305 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_AND,
 306                       "__tsan_atomic128_fetch_and",
 307                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
 308
 309 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_OR,
 310                       "__tsan_atomic8_fetch_or",
 311                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
 312 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_OR,
 313                       "__tsan_atomic16_fetch_or",
 314                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
 315 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_OR,
 316                       "__tsan_atomic32_fetch_or",
 317                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
 318 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_OR,
 319                       "__tsan_atomic64_fetch_or",
 320                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
 321 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_OR,
 322                       "__tsan_atomic128_fetch_or",
 323                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
 324
 325 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_XOR,
 326                       "__tsan_atomic8_fetch_xor",
 327                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
 328 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_XOR,
 329                       "__tsan_atomic16_fetch_xor",
 330                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
 331 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_XOR,
 332                       "__tsan_atomic32_fetch_xor",
 333                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
 334 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_XOR,
 335                       "__tsan_atomic64_fetch_xor",
 336                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
 337 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_XOR,
 338                       "__tsan_atomic128_fetch_xor",
 339                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
 340
 341 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_NAND,
 342                       "__tsan_atomic8_fetch_nand",
 343                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
 344 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_NAND,
 345                       "__tsan_atomic16_fetch_nand",
 346                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
 347 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_NAND,
 348                       "__tsan_atomic32_fetch_nand",
 349                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
 350 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_NAND,
 351                       "__tsan_atomic64_fetch_nand",
 352                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
 353 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_NAND,
 354                       "__tsan_atomic128_fetch_nand",
 355                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
 356
 357 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_STRONG,
 358                       "__tsan_atomic8_compare_exchange_strong",
 359                       BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
 360                       ATTR_NOTHROW_LEAF_LIST)
 361 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_STRONG,
 362                       "__tsan_atomic16_compare_exchange_strong",
 363                       BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
 364                       ATTR_NOTHROW_LEAF_LIST)
 365 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_STRONG,
 366                       "__tsan_atomic32_compare_exchange_strong",
 367                       BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
 368                       ATTR_NOTHROW_LEAF_LIST)
 369 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_STRONG,
 370                       "__tsan_atomic64_compare_exchange_strong",
 371                       BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
 372                       ATTR_NOTHROW_LEAF_LIST)
 373 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_STRONG,
 374                       "__tsan_atomic128_compare_exchange_strong",
 375                       BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
 376                       ATTR_NOTHROW_LEAF_LIST)
 377
 378 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_WEAK,
 379                       "__tsan_atomic8_compare_exchange_weak",
 380                       BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
 381                       ATTR_NOTHROW_LEAF_LIST)
 382 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_WEAK,
 383                       "__tsan_atomic16_compare_exchange_weak",
 384                       BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
 385                       ATTR_NOTHROW_LEAF_LIST)
 386 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_WEAK,
 387                       "__tsan_atomic32_compare_exchange_weak",
 388                       BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
 389                       ATTR_NOTHROW_LEAF_LIST)
 390 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_WEAK,
 391                       "__tsan_atomic64_compare_exchange_weak",
 392                       BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
 393                       ATTR_NOTHROW_LEAF_LIST)
 394 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_WEAK,
 395                       "__tsan_atomic128_compare_exchange_weak",
 396                       BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
 397                       ATTR_NOTHROW_LEAF_LIST)
 398
 399 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_THREAD_FENCE,
 400                       "__tsan_atomic_thread_fence",
 401                       BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
 402 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_SIGNAL_FENCE,
 403                       "__tsan_atomic_signal_fence",
 404                       BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
 405
 406 /* Undefined Behavior Sanitizer */
 407 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW,
 408                       "__ubsan_handle_divrem_overflow",
 409                       BT_FN_VOID_PTR_PTR_PTR,
 410                       ATTR_COLD_NOTHROW_LEAF_LIST)
 411 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS,
 412                       "__ubsan_handle_shift_out_of_bounds",
 413                       BT_FN_VOID_PTR_PTR_PTR,
 414                       ATTR_COLD_NOTHROW_LEAF_LIST)
 415 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_BUILTIN_UNREACHABLE,
 416                       "__ubsan_handle_builtin_unreachable",
 417                       BT_FN_VOID_PTR,
 418                       ATTR_COLD_CONST_NORETURN_NOTHROW_LEAF_LIST)
 419 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MISSING_RETURN,
 420                       "__ubsan_handle_missing_return",
 421                       BT_FN_VOID_PTR,
 422                       ATTR_NORETURN_NOTHROW_LEAF_LIST)
 423 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE,
 424                       "__ubsan_handle_vla_bound_not_positive",
 425                       BT_FN_VOID_PTR_PTR,
 426                       ATTR_COLD_NOTHROW_LEAF_LIST)
 427 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH,
 428                       "__ubsan_handle_type_mismatch",
 429                       BT_FN_VOID_PTR_PTR,
 430                       ATTR_COLD_NOTHROW_LEAF_LIST)
 431 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW,
 432                       "__ubsan_handle_add_overflow",
 433                       BT_FN_VOID_PTR_PTR_PTR,
 434                       ATTR_COLD_NOTHROW_LEAF_LIST)
 435 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW,
 436                       "__ubsan_handle_sub_overflow",
 437                       BT_FN_VOID_PTR_PTR_PTR,
 438                       ATTR_COLD_NOTHROW_LEAF_LIST)
 439 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW,
 440                       "__ubsan_handle_mul_overflow",
 441                       BT_FN_VOID_PTR_PTR_PTR,
 442                       ATTR_COLD_NOTHROW_LEAF_LIST)
 443 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW,
 444                       "__ubsan_handle_negate_overflow",
 445                       BT_FN_VOID_PTR_PTR,
 446                       ATTR_COLD_NOTHROW_LEAF_LIST)
 447 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE,
 448                       "__ubsan_handle_load_invalid_value",
 449                       BT_FN_VOID_PTR_PTR,
 450                       ATTR_COLD_NOTHROW_LEAF_LIST)
 451 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW_ABORT,
 452                       "__ubsan_handle_divrem_overflow_abort",
 453                       BT_FN_VOID_PTR_PTR_PTR,
 454                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 455 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS_ABORT,
 456                       "__ubsan_handle_shift_out_of_bounds_abort",
 457                       BT_FN_VOID_PTR_PTR_PTR,
 458                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 459 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE_ABORT,
 460                       "__ubsan_handle_vla_bound_not_positive_abort",
 461                       BT_FN_VOID_PTR_PTR,
 462                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 463 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH_ABORT,
 464                       "__ubsan_handle_type_mismatch_abort",
 465                       BT_FN_VOID_PTR_PTR,
 466                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 467 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW_ABORT,
 468                       "__ubsan_handle_add_overflow_abort",
 469                       BT_FN_VOID_PTR_PTR_PTR,
 470                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 471 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW_ABORT,
 472                       "__ubsan_handle_sub_overflow_abort",
 473                       BT_FN_VOID_PTR_PTR_PTR,
 474                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 475 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW_ABORT,
 476                       "__ubsan_handle_mul_overflow_abort",
 477                       BT_FN_VOID_PTR_PTR_PTR,
 478                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 479 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW_ABORT,
 480                       "__ubsan_handle_negate_overflow_abort",
 481                       BT_FN_VOID_PTR_PTR,
 482                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 483 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE_ABORT,
 484                       "__ubsan_handle_load_invalid_value_abort",
 485                       BT_FN_VOID_PTR_PTR,
 486                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 487 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW,
 488                       "__ubsan_handle_float_cast_overflow",
 489                       BT_FN_VOID_PTR_PTR,
 490                       ATTR_COLD_NOTHROW_LEAF_LIST)
 491 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT,
 492                       "__ubsan_handle_float_cast_overflow_abort",
 493                       BT_FN_VOID_PTR_PTR,
 494                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 495 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS,
 496                       "__ubsan_handle_out_of_bounds",
 497                       BT_FN_VOID_PTR_PTR,
 498                       ATTR_COLD_NOTHROW_LEAF_LIST)
 499 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS_ABORT,
 500                       "__ubsan_handle_out_of_bounds_abort",
 501                       BT_FN_VOID_PTR_PTR,
 502                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 503 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG,
 504                       "__ubsan_handle_nonnull_arg",
 505                       BT_FN_VOID_PTR,
 506                       ATTR_COLD_NOTHROW_LEAF_LIST)
 507 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG_ABORT,
 508                       "__ubsan_handle_nonnull_arg_abort",
 509                       BT_FN_VOID_PTR,
 510                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 511 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN,
 512                       "__ubsan_handle_nonnull_return",
 513                       BT_FN_VOID_PTR,
 514                       ATTR_COLD_NOTHROW_LEAF_LIST)
 515 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN_ABORT,
 516                       "__ubsan_handle_nonnull_return_abort",
 517                       BT_FN_VOID_PTR,
 518                       ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
 519 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS,
 520                       "__ubsan_handle_dynamic_type_cache_miss",
 521                       BT_FN_VOID_PTR_PTR_PTR,
 522                       ATTR_COLD_NOTHROW_LEAF_LIST)
 523 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS_ABORT,
 524                       "__ubsan_handle_dynamic_type_cache_miss_abort",
 525                       BT_FN_VOID_PTR_PTR_PTR,
 526                       ATTR_COLD_NOTHROW_LEAF_LIST)
 527
 528 /* Sanitizer coverage */
 529 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_PC,
 530                       "__sanitizer_cov_trace_pc",
 531                       BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
 532
 533 /* This has to come after all the sanitizer builtins.  */
 534 DEF_BUILTIN_STUB(END_SANITIZER_BUILTINS, (const char *)0)