diff options
Diffstat (limited to 'gcc/dbgcnt.c')
| -rw-r--r-- | gcc/dbgcnt.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/dbgcnt.c b/gcc/dbgcnt.c index 3fe34854f06..6c3bd9192a8 100644 --- a/gcc/dbgcnt.c +++ b/gcc/dbgcnt.c @@ -15,7 +15,7 @@ for more details. You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see -<http://www.gnu.org/licenses/>. +<http://www.gnu.org/licenses/>. See dbgcnt.def for usage information. */ @@ -62,7 +62,7 @@ dbg_cnt (enum debug_counter index) { count[index]++; if (dump_file && count[index] == limit[index]) - fprintf (dump_file, "***dbgcnt: limit reached for %s.***\n", + fprintf (dump_file, "***dbgcnt: limit reached for %s.***\n", map[index].name); return dbg_cnt_is_enabled (index); @@ -104,7 +104,7 @@ dbg_cnt_process_single_pair (const char *arg) const char *colon = strchr (arg, ':'); char *endptr = NULL; int value; - + if (colon == NULL) return NULL; @@ -113,7 +113,7 @@ dbg_cnt_process_single_pair (const char *arg) if (endptr != NULL && endptr != colon + 1 && dbg_cnt_set_limit_by_name (arg, colon - arg, value)) return endptr; - + return NULL; } @@ -140,7 +140,7 @@ dbg_cnt_process_opt (const char *arg) /* Print name, limit and count of all counters. */ -void +void dbg_cnt_list_all_counters (void) { int i; |