X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=datarace.cc;h=544fced0485690e67aabee2d56f8fcbf47d16b1c;hb=509ea2631fffda65d966c4ddd1e18a5c2eda89c0;hp=f988596f492343f7db2519cf5a83af3bce41821e;hpb=8c593b2e84c8e3567586098166c56271400cb8af;p=c11tester.git

diff --git a/datarace.cc b/datarace.cc
index f988596f..544fced0 100644
--- a/datarace.cc
+++ b/datarace.cc
@@ -16,6 +16,7 @@ static void *memory_base;
 static void *memory_top;
 static RaceSet * raceset;
 
+#ifdef COLLECT_STAT
 static unsigned int store8_count = 0;
 static unsigned int store16_count = 0;
 static unsigned int store32_count = 0;
@@ -25,6 +26,7 @@ static unsigned int load8_count = 0;
 static unsigned int load16_count = 0;
 static unsigned int load32_count = 0;
 static unsigned int load64_count = 0;
+#endif
 
 static const ModelExecution * get_execution()
 {
@@ -1212,6 +1214,7 @@ void raceCheckWrite8(thread_id_t thread, const void *location)
 	raceCheckWrite_firstIt(thread, location, &old_shadowval, &new_shadowval);
 }
 
+#ifdef COLLECT_STAT
 void print_normal_accesses()
 {
 	model_print("store 8  count: %u\n", store8_count);
@@ -1224,3 +1227,4 @@ void print_normal_accesses()
 	model_print("load  32 count: %u\n", load32_count);
 	model_print("load  64 count: %u\n", load64_count);
 }
+#endif