Add macro for recording atomic statics and report data races

[c11tester.git] / datarace.h

diff --git a/datarace.h b/datarace.h
index c36af066deceec59e6e2d14e9f0c1ada872dcdc0..34bfd4067dc99ad591a21d1ca621ca5498f0ff67 100644 (file)
--- a/datarace.h
+++ b/datarace.h
@@ -65,6 +65,10 @@ void raceCheckWrite16(thread_id_t thread, const void *location);
 void raceCheckWrite32(thread_id_t thread, const void *location);
 void raceCheckWrite64(thread_id_t thread, const void *location);
 
+#ifdef COLLECT_STAT
+void print_normal_accesses();
+#endif
+
 /**
  * @brief A record of information for detecting data races
  */