1  /* Debug counter for debugging support
       2     Copyright (C) 2006-2023 Free Software Foundation, Inc.
       3  
       4  This file is part of GCC.
       5  
       6  GCC is free software; you can redistribute it and/or modify it under
       7  the terms of the GNU General Public License as published by the Free
       8  Software Foundation; either version 3, or (at your option) any later
       9  version.
      10  
      11  GCC is distributed in the hope that it will be useful, but WITHOUT ANY
      12  WARRANTY; without even the implied warranty of MERCHANTABILITY or
      13  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
      14  for more details.
      15  
      16  You should have received a copy of the GNU General Public License
      17  along with GCC; see the file COPYING3.  If not see
      18  <http://www.gnu.org/licenses/>.
      19  
      20  See dbgcnt.def for usage information.  */
      21  
      22  #ifndef GCC_DBGCNT_H
      23  #define GCC_DBGCNT_H
      24  
      25  #define DEBUG_COUNTER(a) a,
      26  
      27  enum debug_counter {
      28  #include "dbgcnt.def"
      29     debug_counter_number_of_counters
      30  };
      31  
      32  #undef DEBUG_COUNTER
      33  
      34  extern bool dbg_cnt_is_enabled (enum debug_counter index);
      35  extern bool dbg_cnt (enum debug_counter index);
      36  extern unsigned dbg_cnt_counter (enum debug_counter index);
      37  extern void dbg_cnt_process_opt (const char *arg);
      38  extern void dbg_cnt_list_all_counters (void);
      39  
      40  #endif /* GCC_DBGCNT_H */