1/* Pass to detect and issue warnings for invalid accesses, including
2 invalid or mismatched allocation/deallocation calls.
3
4 Copyright (C) 2020-2023 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
26extern bool check_nul_terminated_array (tree, tree, tree = NULL_TREE);
27extern void warn_string_no_nul (location_t, gimple *, const char *, tree,
28 tree, tree = NULL_TREE, bool = false,
29 const wide_int[2] = NULL);
30extern void warn_string_no_nul (location_t, tree, const char *, tree,
31 tree, tree = NULL_TREE, bool = false,
32 const wide_int[2] = NULL);
33extern tree unterminated_array (tree, tree * = NULL, bool * = NULL);
34
35extern bool maybe_warn_nonstring_arg (tree, gimple *);
36extern bool maybe_warn_nonstring_arg (tree, tree);
37
38class access_data;
39extern bool maybe_warn_for_bound (opt_code, location_t, gimple *, tree,
40 tree[2], tree, const access_data * = NULL);
41extern bool maybe_warn_for_bound (opt_code, location_t, tree, tree,
42 tree[2], tree, const access_data * = NULL);
43
44class access_data;
45extern 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

source code of gcc/gimple-ssa-warn-access.h