]>
Commit | Line | Data |
---|---|---|
de5a5fa1 | 1 | /* UndefinedBehaviorSanitizer, undefined behavior detector. |
818ab71a | 2 | Copyright (C) 2013-2016 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, | |
42 | UBSAN_PRINT_ARRAY | |
43 | }; | |
44 | ||
f5481fc4 | 45 | extern bool do_ubsan_in_current_function (void); |
944fa280 JJ |
46 | extern bool ubsan_expand_bounds_ifn (gimple_stmt_iterator *); |
47 | extern bool ubsan_expand_null_ifn (gimple_stmt_iterator *); | |
0e82f089 | 48 | extern bool ubsan_expand_objsize_ifn (gimple_stmt_iterator *); |
35228ac7 | 49 | extern bool ubsan_expand_vptr_ifn (gimple_stmt_iterator *); |
4088b790 | 50 | extern bool ubsan_instrument_unreachable (gimple_stmt_iterator *); |
570a11fe | 51 | extern tree ubsan_create_data (const char *, int, const location_t *, ...); |
0e37a2f3 | 52 | extern tree ubsan_type_descriptor (tree, enum ubsan_print_style = UBSAN_PRINT_NORMAL); |
1769415d | 53 | extern tree ubsan_encode_value (tree, bool = false); |
de5a5fa1 | 54 | extern bool is_ubsan_builtin_p (tree); |
31e071ae | 55 | extern tree ubsan_build_overflow_builtin (tree_code, location_t, tree, tree, tree); |
6b131d5b | 56 | extern tree ubsan_instrument_float_cast (location_t, tree, tree); |
21a82048 | 57 | extern tree ubsan_get_source_location_type (void); |
de5a5fa1 MP |
58 | |
59 | #endif /* GCC_UBSAN_H */ |