1 files changed, 41 insertions, 0 deletions
diff --git a/debug_counter.c b/debug_counter.c
new file mode 100644
index 0000000000..6000f98c54
--- /dev/null
+++ b/debug_counter.c
@@ -0,0 +1,41 @@
+/**********************************************************************
+
+  debug_counter.c -
+
+  created at: Tue Feb 21 16:51:18 2017
+
+  Copyright (C) 2017 Koichi Sasada
+
+**********************************************************************/
+
+#include "debug_counter.h"
+#include <stdio.h>
+
+#if USE_DEBUG_COUNTER
+#include "internal.h"
+
+static const char *const debug_counter_names[] = {
+    ""
+#define RB_DEBUG_COUNTER(name) #name,
+#include "debug_counter.h"
+#undef RB_DEBUG_COUNTER
+};
+
+size_t rb_debug_counter[numberof(debug_counter_names)];
+
+__attribute__((destructor))
+static void
+rb_debug_counter_show_results(void)
+{
+    const char *env = getenv("RUBY_DEBUG_COUNTER_DISABLE");
+    if (env == NULL || strcmp("1", env) != 0) {
+	int i;
+	for (i=0; i<RB_DEBUG_COUNTER_MAX; i++) {
+	    fprintf(stderr, "[RUBY_DEBUG_COUNTER]\t%s\t%"PRIuSIZE"\n",
+		    debug_counter_names[i],
+		    rb_debug_counter[i]);
+	}
+    }
+}
+
+#endif /* USE_DEBUG_COUNTER */