Lines Matching refs:GLOB
63 // 1. Start(workers) a. read(GLOB)
68 // 5. write(GLOB)
71 int GLOB = 0;
75 CHECK(GLOB != 777);
95 GLOB = 2;
101 // ANNOTATE_EXPECT_RACE(&GLOB, "test11. FP. Fixed by MSMProp1.");
104 printf("\tGLOB=%d\n", GLOB);
111 int GLOB = 0;
115 GLOB = 1;
122 CHECK(GLOB==1);
127 CHECK(GLOB==1);
141 GLOB = 2;
147 printf("\tGLOB=%d\n", GLOB);
168 int GLOB = 0;
174 GLOB = 1;
185 GLOB = 2;
207 printf("\tGLOB=%d\n", GLOB);
219 int *GLOB = NULL;
222 GLOB = new int;
223 ANNOTATE_TRACE_MEMORY(GLOB);
224 *GLOB = 777;
233 CHECK(*GLOB == 777);
241 printf("\tGLOB=%d\n", *GLOB);
248 int GLOB = 0;
266 GLOB++;
304 ANNOTATE_EXPECT_RACE(&GLOB, "real race on global object");
322 CHECK(GLOB <= 3);
345 int GLOB = 0;
362 GLOB = 1;
373 CHECK(GLOB == 1);
446 // (GLOB[thread_num]) and we take a *writer* lock when we
456 int GLOB[n_threads];
466 GLOB[my_num]++;
474 sum += GLOB[i];
838 int GLOB = 0;
897 GLOB++;
906 printf("\tGLOB=%d\n", GLOB);
918 GLOB++;
927 printf("\tGLOB=%d\n", GLOB);
987 int GLOB;
993 GLOB++;
1000 GLOB++;
1043 int GLOB;
1047 GLOB++;
1061 int GLOB;
1067 GLOB = 1;
1071 GLOB = 2;
1076 GLOB = 3;
1080 GLOB = 4;
1085 ANNOTATE_TRACE_MEMORY(&GLOB);
1086 ANNOTATE_EXPECT_RACE(&GLOB, "race");
1097 int GLOB = 0;
1105 GLOB = 2;
1111 GLOB = 1;
1131 int GLOB;
1135 GLOB = 1;
1145 GLOB = 1;
1150 ANNOTATE_EXPECT_RACE(&GLOB, "rwunlock/rwlock is not a hb-arc");