1 | /* Pass to detect and issue warnings for invalid accesses, including |
2 | invalid or mismatched allocation/deallocation calls. |
3 | |
4 | Copyright (C) 2020-2024 Free Software Foundation, Inc. |
5 | Contributed by Martin Sebor <msebor@redhat.com>. |
6 | |
7 | This file is part of GCC. |
8 | |
9 | GCC is free software; you can redistribute it and/or modify it under |
10 | the terms of the GNU General Public License as published by the Free |
11 | Software Foundation; either version 3, or (at your option) any later |
12 | version. |
13 | |
14 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
15 | WARRANTY; without even the implied warranty of MERCHANTABILITY or |
16 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
17 | for more details. |
18 | |
19 | You should have received a copy of the GNU General Public License |
20 | along with GCC; see the file COPYING3. If not see |
21 | <http://www.gnu.org/licenses/>. */ |
22 | |
23 | #ifndef GCC_GIMPLE_SSA_WARN_ACCESS_H |
24 | #define GCC_GIMPLE_SSA_WARN_ACCESS_H |
25 | |
26 | extern bool check_nul_terminated_array (tree, tree, tree = NULL_TREE); |
27 | extern void warn_string_no_nul (location_t, gimple *, const char *, tree, |
28 | tree, tree = NULL_TREE, bool = false, |
29 | const wide_int[2] = NULL); |
30 | extern void warn_string_no_nul (location_t, tree, const char *, tree, |
31 | tree, tree = NULL_TREE, bool = false, |
32 | const wide_int[2] = NULL); |
33 | extern tree unterminated_array (tree, tree * = NULL, bool * = NULL); |
34 | |
35 | extern bool maybe_warn_nonstring_arg (tree, gimple *); |
36 | extern bool maybe_warn_nonstring_arg (tree, tree); |
37 | |
38 | class access_data; |
39 | extern bool maybe_warn_for_bound (opt_code, location_t, gimple *, tree, |
40 | tree[2], tree, const access_data * = NULL); |
41 | extern bool maybe_warn_for_bound (opt_code, location_t, tree, tree, |
42 | tree[2], tree, const access_data * = NULL); |
43 | |
44 | class access_data; |
45 | extern bool check_access (tree, tree, tree, tree, tree, access_mode, |
46 | const access_data * = NULL); |
47 | |
48 | #endif // GCC_GIMPLE_SSA_WARN_ACCESS_H |
49 | |