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. */
{
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);
const char *colon = strchr (arg, ':');
char *endptr = NULL;
int value;
-
+
if (colon == NULL)
return NULL;
if (endptr != NULL && endptr != colon + 1
&& dbg_cnt_set_limit_by_name (arg, colon - arg, value))
return endptr;
-
+
return NULL;
}
/* Print name, limit and count of all counters. */
-void
+void
dbg_cnt_list_all_counters (void)
{
int i;