Looking for data races.

Makefile

@@ -0,0 +1,11 @@
+
+install:
+	go install -race github.com/SRI-CSL/gllvm/cmd/...
+
+
+race: install
+	 go test -v -race ./tests
+
+
+clean:
+	rm -f tests/.helloworld.c.o tests/.helloworld.c.o.bc

data/helloworld.c

@@ -0,0 +1,8 @@
+#include <stdio.h>
+
+
+int main(int argc, char *argv[]) {
+
+  fprintf(stdout, "hello world");
+
+}

ians-notes.txt

@@ -27,3 +27,7 @@ For keeping up with the Jones:
 clang -cc1 --help
 
 https://clang.llvm.org/docs/ClangCommandLineReference.html
+
+For fretting about race conditions:
+
+go build -race cmd

tests/entry_test.go

@@ -0,0 +1,20 @@
+package test
+
+import (
+	"github.com/SRI-CSL/gllvm/shared"
+	"testing"
+	"fmt"
+)
+
+
+func  Test_basic(t *testing.T) {
+	args := []string{ "../data/helloworld.c", "-o", "../data/hello" }
+
+	exitCode := shared.Compile(args, "clang")
+
+	if exitCode != 0 {
+		t.Errorf("Compile of %v returned %v\n", args, exitCode)
+	} else {
+		fmt.Println("Compiled OK")
+	}
+}