| 1 | /* Pass to detect and issue warnings for invalid accesses, including |
| 2 | invalid or mismatched allocation/deallocation calls. |
| 3 | |
| 4 | Copyright (C) 2020-2025 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 | |