projects / thirdparty / gcc.git / blame
| Commit | Line | Data |
|---|---|---|
| de5a5fa1 | 1 | /* UndefinedBehaviorSanitizer, undefined behavior detector. |
| a945c346 | 2 | Copyright (C) 2013-2024 Free Software Foundation, Inc. |
| de5a5fa1 MP |
3 | Contributed by Marek Polacek <polacek@redhat.com> |
| 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 | #ifndef GCC_UBSAN_H | |
| 22 | #define GCC_UBSAN_H | |
| 23 | ||
| b9a55b13 MP |
24 | /* The various kinds of NULL pointer checks. */ |
| 25 | enum ubsan_null_ckind { | |
| 26 | UBSAN_LOAD_OF, | |
| 27 | UBSAN_STORE_OF, | |
| 28 | UBSAN_REF_BINDING, | |
| 29 | UBSAN_MEMBER_ACCESS, | |
| 944fa280 | 30 | UBSAN_MEMBER_CALL, |
| 35228ac7 JJ |
31 | UBSAN_CTOR_CALL, |
| 32 | UBSAN_DOWNCAST_POINTER, | |
| 33 | UBSAN_DOWNCAST_REFERENCE, | |
| 34 | UBSAN_UPCAST, | |
| 35 | UBSAN_CAST_TO_VBASE | |
| b9a55b13 MP |
36 | }; |
| 37 | ||
| 0e37a2f3 MP |
38 | /* This controls how ubsan prints types. Used in ubsan_type_descriptor. */ |
| 39 | enum ubsan_print_style { | |
| 40 | UBSAN_PRINT_NORMAL, | |
| 41 | UBSAN_PRINT_POINTER, | |
| 95521e15 JJ |
42 | UBSAN_PRINT_ARRAY, |
| 43 | UBSAN_PRINT_FORCE_INT | |
| 0e37a2f3 MP |
44 | }; |
| 45 | ||
| 9f8fafe8 JJ |
46 | /* This controls ubsan_encode_value behavior. */ |
| 47 | enum ubsan_encode_value_phase { | |
| 48 | UBSAN_ENCODE_VALUE_GENERIC, | |
| 49 | UBSAN_ENCODE_VALUE_GIMPLE, | |
| 50 | UBSAN_ENCODE_VALUE_RTL | |
| 51 | }; | |
| 52 | ||
| 944fa280 JJ |
53 | extern bool ubsan_expand_bounds_ifn (gimple_stmt_iterator *); |
| 54 | extern bool ubsan_expand_null_ifn (gimple_stmt_iterator *); | |
| 0e82f089 | 55 | extern bool ubsan_expand_objsize_ifn (gimple_stmt_iterator *); |
| c9b39a49 | 56 | extern bool ubsan_expand_ptr_ifn (gimple_stmt_iterator *); |
| 35228ac7 | 57 | extern bool ubsan_expand_vptr_ifn (gimple_stmt_iterator *); |
| 4088b790 | 58 | extern bool ubsan_instrument_unreachable (gimple_stmt_iterator *); |
| 570a11fe | 59 | extern tree ubsan_create_data (const char *, int, const location_t *, ...); |
| cb6794f6 JJ |
60 | extern tree ubsan_type_descriptor (tree, ubsan_print_style |
| 61 | = UBSAN_PRINT_NORMAL); | |
| 62 | extern tree ubsan_encode_value (tree, ubsan_encode_value_phase | |
| 9f8fafe8 | 63 | = UBSAN_ENCODE_VALUE_GENERIC); |
| de5a5fa1 | 64 | extern bool is_ubsan_builtin_p (tree); |
| 1705cebd JJ |
65 | extern tree ubsan_build_overflow_builtin (tree_code, location_t, tree, tree, |
| 66 | tree, tree *); | |
| 6b131d5b | 67 | extern tree ubsan_instrument_float_cast (location_t, tree, tree); |
| 21a82048 | 68 | extern tree ubsan_get_source_location_type (void); |
| d68d3664 | 69 | extern tree sanitize_unreachable_fn (tree *data, location_t loc); |
| de5a5fa1 MP |
70 | |
| 71 | #endif /* GCC_UBSAN_H */ |