Add data structures with bugs that tsan11/tsan11rec cannot detect

[c11concurrency-benchmarks.git] / tsan11-missingbug / Makefile

diff --git a/tsan11-missingbug/Makefile b/tsan11-missingbug/Makefile
new file mode 100644 (file)
index 0000000..8f855e8
--- /dev/null
+++ b/tsan11-missingbug/Makefile
@@ -0,0 +1,18 @@
+CC=../clang
+CXX=../clang++
+
+CXXFLAGS=-std=c++11 -pthread -Wall -g
+
+SEQLOCK = seqlock-test
+RWLOCK = rwlock-test
+
+all: $(SEQLOCK) $(RWLOCK)
+
+$(SEQLOCK): $(SEQLOCK).cc
+       $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
+
+$(RWLOCK): $(RWLOCK).cc
+       $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
+
+clean:
+       rm -f $(SEQLOCK) $(RWLOCK) *.o