Add free-is-write functionality (experimental, not enabled by default).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11627 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/helgrind/hg_basics.h b/helgrind/hg_basics.h
index fc34a39..edf05e8 100644
--- a/helgrind/hg_basics.h
+++ b/helgrind/hg_basics.h
@@ -103,6 +103,12 @@
SCE_{THREADS,LOCKS,BIGRANGE,ACCESS,LAOG}. */
extern Word HG_(clo_sanity_flags);
+/* Treat heap frees as if the memory was written immediately prior to
+ the free. This shakes out races in which memory is referenced by
+ one thread, and freed by another, and there's no observable
+ synchronisation event to guarantee that the reference happens
+ before the free. */
+extern Bool HG_(clo_free_is_write);
#endif /* ! __HG_BASICS_H */