update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / helgrind / hg_basics.h

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/helgrind/hg_basics.h b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/helgrind/hg_basics.h
index fc34a39e12b4d5492e9b7150789fddbe95057a5b..edf05e8336a9cdc674291b06368bd3d7b4051bc3 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/helgrind/hg_basics.h
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/helgrind/hg_basics.h
@@ -103,6 +103,12 @@ extern UWord HG_(clo_conflict_cache_size);
    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 */