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