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  
      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