an example showing strengh of static analysis

[chunhualiao]

From OMPRacer paper:

1 int *A; int N;
2 load_from_input(A, &N);
3 #pragma omp parallel for shared(A)
4 for(int i = 0; i < N; i++) {
5 A[i] = i;
6 if (N > 10000) { A[0] = 1; }
7 }

Data races on A[0] happens only N is larger than a threshold.

[peihunglin]

microbenchmark added.