Use 64 bits for debug counters

Has happened 32 bits were not enough for
some test.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

diff --git a/src/misc.cpp b/src/misc.cpp
index 246cfd2dd196a700745e4fbd4cab5d37f6c076cf..ea872f88aa57fdb126a8ae2121213865f14a1751 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -81,8 +81,8 @@ static const string AppTag  = "";
 //// Variables
 ////
 
-long dbg_cnt0 = 0;
-long dbg_cnt1 = 0;
+uint64_t dbg_cnt0 = 0;
+uint64_t dbg_cnt1 = 0;
 
 bool dbg_show_mean = false;
 bool dbg_show_hit_rate = false;

diff --git a/src/misc.h b/src/misc.h
index d74424d0933ab4d6ff54473d8798a4dfabe7fc3a..d954f0a3302467d16d3cc7ad9f169ff13ba97149 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -30,6 +30,7 @@
 #include <string>
 
 #include "application.h"
+#include "types.h"
 
 ////
 //// Macros
@@ -56,8 +57,8 @@ extern int Bioskey();
 extern bool dbg_show_mean;
 extern bool dbg_show_hit_rate;
 
-extern long dbg_cnt0;
-extern long dbg_cnt1;
+extern uint64_t dbg_cnt0;
+extern uint64_t dbg_cnt1;
 
 extern void dbg_hit_on(bool b);
 extern void dbg_hit_on_c(bool c, bool b);