Lines Matching refs:GLOB
323 int GLOB = 0; variable
326 printf("\tGLOB=%d\n", GLOB); in Run()
334 int GLOB = 0; variable
336 GLOB = 1; in Worker()
344 GLOB = 2; in Parent()
348 FAST_MODE_INIT(&GLOB); in Run()
349 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test01. TP."); in Run()
350 ANNOTATE_TRACE_MEMORY(&GLOB); in Run()
353 const int tmp = GLOB; in Run()
362 int GLOB = 0; variable
381 GLOB = 1; in Waker()
398 GLOB = 2; in Waiter()
403 printf("\tGLOB=%d\n", GLOB); in Run()
411 int GLOB = 0; variable
429 GLOB = 1; in Waker()
443 GLOB = 2; in Waiter()
448 printf("\tGLOB=%d\n", GLOB); in Run()
455 int GLOB = 0; variable
467 GLOB = 1; in Putter()
473 GLOB = 2; in Getter()
481 printf("\tGLOB=%d\n", GLOB); in Run()
490 int GLOB = 0; variable
510 GLOB = 1; in Waker()
527 GLOB = 2; in Waiter()
530 FAST_MODE_INIT(&GLOB); in Run()
532 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test05. FP. Unavoidable in hybrid scheme."); in Run()
535 printf("\tGLOB=%d\n", GLOB); in Run()
543 int GLOB = 0; variable
562 GLOB = 1; in Waker()
581 GLOB = 2; in Waiter()
586 printf("\tGLOB=%d\n", GLOB); in Run()
594 int GLOB = 0; variable
613 GLOB = 1; in Signaller()
627 GLOB = 2; // If LockWhen didn't catch the signal, a race may be reported here. in Waiter()
633 printf("\tGLOB=%d\n", GLOB); in Run()
640 int GLOB = 0; variable
650 GLOB = 2; in Worker()
655 GLOB = 1; in Parent()
658 GLOB = 3; in Parent()
663 printf("\tGLOB=%d\n", GLOB); in Run()
671 int GLOB = 0; variable
677 GLOB = 3; in Writer()
680 CHECK(GLOB != -777); in Reader()
684 ANNOTATE_TRACE_MEMORY(&GLOB); in Run()
685 FAST_MODE_INIT(&GLOB); in Run()
686 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test09. TP."); in Run()
691 printf("\tGLOB=%d\n", GLOB); in Run()
699 int GLOB = 0; variable
714 GLOB = 3; in Writer()
718 CHECK(GLOB != -777); in Reader()
722 FAST_MODE_INIT(&GLOB); in Run()
723 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test10. TP. FN in MSMHelgrind."); in Run()
728 printf("\tGLOB=%d\n", GLOB); in Run()
747 int GLOB = 0; variable
751 CHECK(GLOB != 777); in Worker()
771 GLOB = 2; in Parent()
780 printf("\tGLOB=%d\n", GLOB); in Run()
788 int GLOB = 0; variable
807 GLOB++; in Putter()
815 GLOB++; in Getter()
819 GLOB++; in Getter()
828 printf("\tGLOB=%d\n", GLOB); in Run()
836 int GLOB = 0; variable
855 GLOB++; in Waker()
866 GLOB++; in Waiter()
871 GLOB++; in Waiter()
883 printf("\tGLOB=%d\n", GLOB); in Run()
891 int GLOB = 0; variable
906 CHECK(GLOB != 777); in Putter1()
910 CHECK(GLOB != 777); in Putter2()
916 GLOB++; in Getter()
924 printf("\tGLOB=%d\n", GLOB); in Run()
940 int GLOB = 0; variable
944 GLOB = 2; in Waker()
955 CHECK(GLOB != 777); in Waiter()
965 printf("\tGLOB=%d\n", GLOB); in Run()
992 int GLOB = 0; variable
998 GLOB++; in Worker()
1007 CHECK(GLOB == 2); in Worker()
1017 printf("\tGLOB=%d\n", GLOB); in Run()
1026 int GLOB = 0; variable
1032 GLOB++; in Worker()
1041 CHECK(GLOB == 3); in Worker()
1051 printf("\tGLOB=%d\n", GLOB); in Run()
1059 int GLOB = 0; variable
1065 GLOB = 1; in Waker()
1081 GLOB = 2; in Waiter()
1086 printf("\tGLOB=%d\n", GLOB); in Run()
1093 int GLOB = 0; variable
1098 GLOB = 1; in Waker()
1114 GLOB = 2; in Waiter()
1119 printf("\tGLOB=%d\n", GLOB); in Run()
1126 int GLOB = 0; variable
1130 GLOB = 1; in Waker()
1143 GLOB = 2; in Waiter()
1146 FAST_MODE_INIT(&GLOB); in Run()
1147 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test20. TP."); in Run()
1150 printf("\tGLOB=%d\n", GLOB); in Run()
1157 int GLOB = 0; variable
1161 GLOB = 1; in Waker()
1173 GLOB = 2; in Waiter()
1176 FAST_MODE_INIT(&GLOB); in Run()
1177 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test21. TP."); in Run()
1180 printf("\tGLOB=%d\n", GLOB); in Run()
1187 int GLOB = 0; variable
1191 GLOB = 1; in Waker()
1209 GLOB = 2; in Waiter()
1212 FAST_MODE_INIT(&GLOB); in Run()
1213 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test22. TP."); in Run()
1216 printf("\tGLOB=%d\n", GLOB); in Run()
1224 int GLOB = 0; variable
1230 GLOB++; in Worker_TryLock()
1243 CHECK(GLOB != 777); in Worker_ReaderTryLock()
1255 CHECK(GLOB != 777); in Worker_ReaderLock()
1264 GLOB++; in Worker_Lock()
1279 printf("\tGLOB=%d\n", GLOB); in Run()
1286 int GLOB = 0; variable
1292 GLOB = 1; in Waker()
1306 GLOB = 2; in Waiter()
1311 printf("\tGLOB=%d\n", GLOB); in Run()
1318 int GLOB = 0; variable
1325 GLOB = 1; in Waker()
1339 GLOB = 2; in Waiter()
1344 printf("\tGLOB=%d\n", GLOB); in Run()
1351 int GLOB = 0; variable
1356 GLOB = 1; in Waker()
1367 GLOB = 2; in Waiter()
1370 FAST_MODE_INIT(&GLOB); in Run()
1371 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test26. TP"); in Run()
1374 printf("\tGLOB=%d\n", GLOB); in Run()
1383 int GLOB = 0; variable
1387 GLOB++; in Worker()
1397 printf("\tGLOB=%d\n", GLOB); in Run()
1416 int GLOB = 0; variable
1421 GLOB++; in Putter()
1427 CHECK(GLOB != 777); in Putter()
1435 CHECK(GLOB == 2); in Getter()
1443 printf("\tGLOB=%d\n", GLOB); in Run()
1454 int GLOB = 0; variable
1458 GLOB++; in Putter()
1465 CHECK(GLOB != 777); in Putter()
1477 CHECK(GLOB == 2); in Getter()
1488 printf("\tGLOB=%d\n", GLOB); in Run()
1519 static int GLOB[N]; variable
1526 GLOB[j] = j; in Writer()
1541 CHECK(GLOB[i] == i); in Reader()
1554 printf("\tGLOB=%d\n", GLOB[N-1]); in Run()
1572 static int GLOB[N]; variable
1579 GLOB[j] = j; in Writer1()
1594 if(GLOB[i] == i) { in Writer2()
1595 GLOB[i]++; in Writer2()
1609 printf("\tGLOB=%d\n", GLOB[N-1]); in Run()
1637 int GLOB = 0; variable
1642 GLOB = 1; in Writer()
1649 CHECK(GLOB != 777); in Reader()
1662 GLOB = 2; in Parent()
1669 printf("\tGLOB=%d\n", GLOB); in Run()
1678 int GLOB = 0; variable
1690 int n = ++GLOB; in Worker()
1724 GLOB, ARR[1], ARR[7], ARR[N-1]); in Run()
1733 int GLOB = 0; variable
1763 printf("\tGLOB=%d\n", GLOB); in Run()
1835 int GLOB = 0; variable
1840 GLOB++; in Putter()
1847 GLOB++; in Putter()
1857 GLOB++; in Getter()
1866 printf("\tGLOB=%d\n", GLOB); in Run()
1874 int GLOB = 0; variable
1887 GLOB = 3; in Writer()
1893 CHECK(GLOB != -777); in Reader()
1902 printf("\tGLOB=%d\n", GLOB); in Run()
1932 int GLOB = 0; variable
1937 GLOB++; in Putter()
1945 GLOB++; in Putter()
1960 GLOB++; in Getter()
1973 printf("\tGLOB=%d\n", GLOB); in Run()
1984 int GLOB = 0; variable
1991 GLOB++; in Worker()
1994 CHECK(GLOB == N_threads); in Worker()
1997 ANNOTATE_TRACE_MEMORY(&GLOB); in Run()
2007 printf("\tGLOB=%d\n", GLOB); in Run()
2038 int GLOB = 0; variable
2043 GLOB++; in Putter()
2052 GLOB++; in Putter()
2066 GLOB++; in Getter()
2080 printf("\tGLOB=%d\n", GLOB); in Run()
2104 int GLOB = 0; variable
2110 GLOB=1; in Worker1()
2123 GLOB=3; in Worker1()
2135 GLOB=2; in Worker2()
2150 printf("\tGLOB=%d\n", GLOB); in Run()
2165 int GLOB = 0; variable
2168 GLOB = 1; in Putter()
2170 CHECK(GLOB == 1); in Putter()
2175 CHECK(GLOB == 1); in Getter()
2182 printf("\tGLOB=%d\n", GLOB); in Run()
2200 int GLOB = 0; variable
2204 CHECK(GLOB == 0); in Putter()
2207 GLOB = 1; in Putter()
2214 GLOB = 1; in Getter()
2223 printf("\tGLOB=%d\n", GLOB); in Run()
2241 int GLOB = 0; variable
2245 CHECK(GLOB == 0); in Putter()
2248 GLOB++; in Putter()
2255 CHECK(GLOB <= 1); in Getter()
2263 printf("\tGLOB=%d\n", GLOB); in Run()
2280 int GLOB = 0; variable
2283 GLOB++; in First()
2285 GLOB++; in First()
2291 GLOB++; in Second()
2298 printf("\tGLOB=%d\n", GLOB); in Second()
2302 ANNOTATE_TRACE_MEMORY(&GLOB); in Run()
2323 int GLOB = 0; variable
2326 GLOB=1; in First()
2334 GLOB++; in Second()
2337 FAST_MODE_INIT(&GLOB); in Run()
2339 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test47. TP. Not detected by pure HB."); in Run()
2344 printf("\tGLOB=%d\n", GLOB); in Run()
2352 int GLOB = 0; variable
2368 GLOB = 3; in Writer()
2372 CHECK(GLOB != -777); in Reader()
2376 FAST_MODE_INIT(&GLOB); in Run()
2377 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test48. TP. FN in MSMHelgrind."); in Run()
2382 printf("\tGLOB=%d\n", GLOB); in Run()
2390 int GLOB = 0; variable
2408 GLOB = 3; in Writer()
2412 CHECK(GLOB != -777); in Reader()
2413 CHECK(GLOB != -777); in Reader()
2414 CHECK(GLOB != -777); in Reader()
2415 CHECK(GLOB != -777); in Reader()
2419 FAST_MODE_INIT(&GLOB); in Run()
2420 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test49. TP. FN in MSMHelgrind."); in Run()
2425 printf("\tGLOB=%d\n", GLOB); in Run()
2433 int GLOB = 0; variable
2455 GLOB = 1; in Waker()
2464 GLOB = 3; in Waker()
2480 GLOB = 2; in Waiter()
2483 FAST_MODE_INIT(&GLOB); in Run()
2484 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test50. TP."); in Run()
2487 printf("\tGLOB=%d\n", GLOB); in Run()
2495 int GLOB = 0; variable
2526 GLOB = 1; in Waker()
2535 GLOB = 2; in Waker()
2555 GLOB = 3; in Waiter()
2558 FAST_MODE_INIT(&GLOB); in Run()
2559 ANNOTATE_EXPECT_RACE(&GLOB, "test51. TP."); in Run()
2562 printf("\tGLOB=%d\n", GLOB); in Run()
2570 int GLOB = 0; variable
2597 GLOB = 1; in Waker()
2606 GLOB = 2; in Waker()
2626 GLOB = 3; in Waiter()
2629 FAST_MODE_INIT(&GLOB); in Run()
2630 ANNOTATE_EXPECT_RACE(&GLOB, "test52. TP."); in Run()
2633 printf("\tGLOB=%d\n", GLOB); in Run()
2662 int GLOB = 0; variable
2668 GLOB = 1000; in Initializer()
2684 CHECK(GLOB >= 1000); in User()
2685 GLOB++; in User()
2690 FAST_MODE_INIT(&GLOB); in Run()
2692 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test53. FP. Implicit semaphore"); in Run()
2697 printf("\tGLOB=%d\n", GLOB); in Run()
2706 int GLOB = 0; variable
2712 GLOB = 1000; in Initializer()
2714 ANNOTATE_CONDVAR_SIGNAL(&GLOB); in Initializer()
2728 ANNOTATE_CONDVAR_WAIT(&GLOB); in User()
2730 CHECK(GLOB >= 1000); in User()
2731 GLOB++; in User()
2740 printf("\tGLOB=%d\n", GLOB); in Run()
2753 int GLOB = 0; variable
2757 GLOB = 1; in Worker_Lock()
2771 GLOB = 2; in Worker_TryLock()
2779 printf("\tGLOB=%d\n", GLOB); in Run()
2790 int GLOB = 0; variable
2794 GLOB++; in Worker()
2798 ANNOTATE_BENIGN_RACE(&GLOB, "test56. Use of ANNOTATE_BENIGN_RACE."); in Run()
2804 printf("\tGLOB=%d\n", GLOB); in Run()
2812 int GLOB = 0; variable
2815 AtomicIncrement(&GLOB, 1); in Writer()
2820 while (GLOB < 20) usleep(1000); in Reader()
2827 CHECK(GLOB == 20); in Run()
2828 printf("\tGLOB=%d\n", GLOB); in Run()
2975 int GLOB = 0; variable
2986 P1 = &GLOB; in Putter()
3012 printf("\tGLOB=%d\n", GLOB); in Run()
3090 int GLOB = 0; variable
3094 CHECK(GLOB == 0); in T1()
3099 CHECK(GLOB == 0); in T2()
3105 GLOB = 1; in T3()
3110 FAST_MODE_INIT(&GLOB); in Run()
3111 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test64: TP."); in Run()
3116 printf("\tGLOB=%d\n", GLOB); in Run()
3139 int GLOB = 0; variable
3145 GLOB++; in T1()
3152 GLOB++; in T2()
3159 GLOB = 1; in T3()
3164 FAST_MODE_INIT(&GLOB); in Run()
3166 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test65. TP."); in Run()
3171 printf("\tGLOB=%d\n", GLOB); in Run()
3236 int GLOB = 0; variable
3242 GLOB = 1; in Signaller1()
3269 GLOB = 2; in Waiter2()
3273 FAST_MODE_INIT(&GLOB); in Run()
3274 ANNOTATE_EXPECT_RACE(&GLOB, "test67. FN. Race between Signaller1 and Waiter2"); in Run()
3279 printf("\tGLOB=%d\n", GLOB); in Run()
3292 int GLOB = 0; variable
3300 GLOB++; in Writer()
3313 CHECK(GLOB >= 0); in Reader()
3325 FAST_MODE_INIT(&GLOB); in Run()
3326 ANNOTATE_EXPECT_RACE(&GLOB, "TP. Writes are protected, reads are not."); in Run()
3331 printf("\tGLOB=%d\n", GLOB); in Run()
3344 int GLOB = 0; variable
3353 GLOB++; in Writer()
3367 CHECK(GLOB >= 0); in Reader()
3384 printf("\tGLOB=%d\n", GLOB); in Run()
3391 int GLOB = 0; variable
3394 ANNOTATE_TRACE_MEMORY(&GLOB); in Run()
3395 GLOB = 1; in Run()
3396 printf("\tGLOB=%d\n", GLOB); in Run()
3461 int GLOB = 0; variable
3472 int n = ++GLOB; in Worker()
3541 int GLOB = 0; variable
3563 int n = ++GLOB; in Worker()
3645 int GLOB = 0; variable
3649 GLOB = 1; in Poster()
3656 CHECK(GLOB==1); in Waiter()
3661 CHECK(GLOB==1); in TryWaiter()
3675 GLOB = 2; in Run()
3681 printf("\tGLOB=%d\n", GLOB); in Run()
3763 int GLOB = 0; variable
3790 int GLOB = 0; variable
3817 int GLOB = 0; variable
3942 int GLOB = 0; variable
3968 int GLOB = 0; variable
4133 int GLOB = 0; variable
4301 int GLOB = 0; variable
4304 GLOB = 1; in Worker()
4311 GLOB = 1; in Run()
4313 printf("\tGLOB=%d\n", GLOB); in Run()
4399 int *GLOB = 0; variable
4404 GLOB = (int*)memalign(64, sizeof(int)); in Publisher()
4405 *GLOB = 777; in Publisher()
4407 ANNOTATE_EXPECT_RACE_FOR_TSAN(GLOB, "test90. FP. This is a false positve"); in Publisher()
4416 int *p = GLOB; in Reader()
4430 printf("\t*GLOB=%d\n", *GLOB); in Run()
4431 free(GLOB); in Run()
4446 int *GLOB = 0; variable
4451 GLOB = (int*)memalign(64, sizeof(int)); in Publisher()
4452 *GLOB = 777; in Publisher()
4454 ANNOTATE_EXPECT_RACE_FOR_TSAN(GLOB, "test91. FP. This is a false positve"); in Publisher()
4462 int *p = GLOB; in Accessor()
4479 printf("\t*GLOB=%d\n", *GLOB); in Run()
4480 free(GLOB); in Run()
4509 ObjType *GLOB = 0; variable
4514 GLOB = new ObjType; in Publisher()
4516 GLOB->arr[i] = 777; in Publisher()
4519 ANNOTATE_PUBLISH_MEMORY_RANGE(GLOB, sizeof(*GLOB)); in Publisher()
4526 ObjType *p = GLOB; in Accessor()
4547 printf("\t*GLOB=%d\n", GLOB->arr[0]); in Run()
4555 int GLOB = 0; variable
4558 CHECK(GLOB == 0); in Reader()
4564 ANNOTATE_PUBLISH_MEMORY_RANGE(&GLOB, sizeof(GLOB)); in Publisher()
4572 printf("\tGLOB=%d\n", GLOB); in Run()
4580 int GLOB; variable
4590 GLOB = 1; // WRITE in Thr1()
4617 GLOB = 2; // READ: no HB-relation between CV.Signal and CV2.Wait ! in Thr4()
4620 FAST_MODE_INIT(&GLOB); in Run()
4621 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test94: TP."); in Run()
4626 printf("\tGLOB=%d\n", GLOB); in Run()
4633 int GLOB = 0; variable
4644 GLOB = 1; // WRITE in Thr1()
4670 GLOB = 2; // READ: no HB-relation between CV.Signal and CV2.Wait ! in Thr4()
4673 FAST_MODE_INIT(&GLOB); in Run()
4674 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test95: TP."); in Run()
4679 printf("\tGLOB=%d\n", GLOB); in Run()
4689 int GLOB = 0; variable
4696 GLOB++; in Thread1()
4702 GLOB++; in Thread2()
4708 GLOB++; in Thread3()
4713 ANNOTATE_TRACE_MEMORY(&GLOB); in Run()
4717 CHECK(GLOB == 3); in Run()
4718 printf("\tGLOB=%d\n", GLOB); in Run()
4731 int * GLOB = &array[ARRAY_SIZE/2]; variable
4739 CHECK(777 == *GLOB); in Reader()
4745 ANNOTATE_EXPECT_RACE_FOR_TSAN(GLOB, "test97: TP. FN with --fast-mode=yes"); in Run()
4749 *GLOB = 777; in Run()
4768 int GLOB = 0; variable
4774 GLOB = 1; in Writer()
4784 GLOB = 2; in Reader()
4808 printf("\tGLOB=%d\n", GLOB); in Run()
4823 bool GLOB = false; variable
4828 mu.LockWhenWithTimeout(Condition(&ArgIsTrue, &GLOB), 5); in Thread1()
4829 GLOB = false; in Thread1()
4898 int GLOB = 0; variable
4910 GLOB = 1; in Signaller()
4933 GLOB = 2; in Waiter()
4942 printf("\tGLOB=%d\n", GLOB); in Run()
4955 int * GLOB = &array[ARRAY_SIZE/2]; variable
4963 CHECK(777 == GLOB[0]); in Reader()
4965 CHECK(777 == GLOB[1]); in Reader()
4971 ANNOTATE_EXPECT_RACE_FOR_TSAN(GLOB+0, "test102: TP. FN with --fast-mode=yes"); in Run()
4972 ANNOTATE_EXPECT_RACE_FOR_TSAN(GLOB+1, "test102: TP"); in Run()
4976 GLOB[0] = 777; in Run()
4978 GLOB[1] = 777; in Run()
5025 int *GLOB = NULL; variable
5027 *GLOB = 1; in Worker()
5034 *GLOB = 2; in Parent()
5038 GLOB = (int*)memalign(64, sizeof(int)); in Run()
5039 *GLOB = 0; in Run()
5040 ANNOTATE_EXPECT_RACE(GLOB, "test104. TP."); in Run()
5041 ANNOTATE_TRACE_MEMORY(GLOB); in Run()
5044 printf("\tGLOB=%d\n", *GLOB); in Run()
5045 free(GLOB); in Run()
5053 int GLOB = 0; variable
5078 printf("\tGLOB=%d\n", GLOB); in Run()
5086 int *GLOB = NULL; variable
5089 GLOB = new int; in Init()
5090 ANNOTATE_TRACE_MEMORY(GLOB); in Init()
5091 *GLOB = 777; in Init()
5100 CHECK(*GLOB == 777); in Worker1()
5109 printf("\tGLOB=%d\n", *GLOB); in Run()
5117 int GLOB = 0; variable
5120 ANNOTATE_EXPECT_RACE(&GLOB, "No race in fact. Just checking the tool."); in Run()
5121 printf("\tGLOB=%d\n", GLOB); in Run()
5180 static int GLOB[N]; variable
5193 t[i] = new MyThread(Worker, &GLOB[i]); in Run()
5196 ANNOTATE_TRACE_MEMORY(&GLOB[i]); in Run()
5197 GLOB[i] = 1; in Run()
5205 GLOB[i]++; in Run()
5209 printf("\tGLOB=%d\n", GLOB[13]); in Run()
5217 int GLOB = 0; variable
5235 GLOB++; in Worker()
5272 FAST_MODE_INIT(&GLOB); in Run()
5273 ANNOTATE_EXPECT_RACE(&GLOB, "real race on global object"); in Run()
5303 CHECK(GLOB <= 3); in Run()
5323 char *GLOB = 0; variable
5380 char *GLOB = 0; variable
5403 GLOB[i]++; in Worker()
5413 ANNOTATE_NEW_MEMORY(GLOB + b, e - b); in PublishRange()
5414 ANNOTATE_TRACE_MEMORY(GLOB + b); in PublishRange()
5416 GLOB[j] = 0; in PublishRange()
5418 ANNOTATE_PUBLISH_MEMORY_RANGE(GLOB + b, e - b); in PublishRange()
5432 GLOB = new char [N]; in Run()
5452 printf("GLOB = %d\n", (int)GLOB[0]); in Run()
5508 int GLOB = 0; variable
5525 GLOB = 1; in Worker()
5536 CHECK(GLOB == 1); in Worker()
5635 int GLOB = 0; variable
5639 ANNOTATE_CONDVAR_SIGNAL(&GLOB); in Signaller()
5643 ANNOTATE_CONDVAR_WAIT(&GLOB); in Waiter()
5653 printf("\tGLOB=%d\n", GLOB); in Run()
5661 int GLOB = 0; variable
5663 GLOB = 1; in Worker1()
5669 GLOB = 2; in Worker2()
5673 FAST_MODE_INIT(&GLOB); in Run()
5675 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "true race"); in Run()
5679 printf("\tGLOB=%d\n", GLOB); in Run()
5687 int GLOB = 0; variable
5690 GLOB = 1; // write in Thread1()
5691 CHECK(GLOB); // read in Thread1()
5696 CHECK(GLOB >= 0); // read in Thread2()
5700 FAST_MODE_INIT(&GLOB); in Run()
5701 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "TP (T1: write then read, T2: read)"); in Run()
5704 GLOB = 1; in Run()
5707 printf("\tGLOB=%d\n", GLOB); in Run()
5943 int GLOB = 0; variable
5952 GLOB = 1; in Worker()
5960 printf("\tGLOB=%d\n", GLOB); in Run()
5980 int GLOB[n_threads]; variable
5988 GLOB[my_num]++; in Adder()
5996 sum += GLOB[i]; in Aggregator()
6029 int GLOB = 0; variable
6032 CHECK(GLOB == 0); in Worker()
6041 GLOB = 1; in Run()
6043 printf("\tGLOB=%d\n", GLOB); in Run()
6072 int GLOB = 0; variable
6076 GLOB++; in Worker()
6080 GLOB++; in ThisFunctionShouldBeSuppressed()
6093 int GLOB = 0; variable
6096 *param = GLOB; // a write into Waiter's memory in WeirdCondition()
6097 return GLOB > 0; in WeirdCondition()
6103 CHECK(GLOB > 0); in Waiter()
6109 GLOB++; in Waker()
6118 printf("\tGLOB=%d\n", GLOB); in Run()
6201 int GLOB = 0; variable
6202 void Worker() { GLOB = 1; } in Worker()
6205 FAST_MODE_INIT(&GLOB); in Run1()
6206 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test132"); in Run1()
6207 printf("test132: positive; &GLOB=%p\n", &GLOB); in Run1()
6208 ANNOTATE_TRACE_MEMORY(&GLOB); in Run1()
6209 GLOB = 7; in Run1()
6226 int GLOB = 0; variable
6227 void Worker() { GLOB = 1; } in Worker()
6230 FAST_MODE_INIT(&GLOB); in Run1()
6231 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test133"); in Run1()
6232 printf("test133: positive; &GLOB=%p\n", &GLOB); in Run1()
6233 ANNOTATE_TRACE_MEMORY(&GLOB); in Run1()
6234 GLOB = 7; in Run1()
6348 int GLOB = 0; variable
6377 int GLOB = 0; variable
6381 GLOB++; in Worker()
6385 FAST_MODE_INIT(&GLOB); in Run()
6405 int GLOB = 0; variable
6409 GLOB++; // First access. in Worker1()
6416 GLOB++; // Second access. in Worker2()
6420 FAST_MODE_INIT(&GLOB); in Run()
6651 int GLOB = 0; variable
6656 GLOB = 1; in Putter()
6663 CHECK(GLOB == 1); // Race here in Getter()
6669 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "true races"); in Run()
6684 int GLOB = 0; variable
6723 int GLOB = 0; variable
6732 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock(); in Worker()
6736 MU2.Lock(); CHECK(GLOB >= 0); MU2.Unlock(); in Worker()
6740 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock(); in Worker()
6744 MU1.Lock(); GLOB++; MU1.Unlock(); in Worker()
6766 int GLOB = 0; variable
6769 void Worker1() { CHECK(GLOB >= 0); } in Worker1()
6770 void Worker2() { MU.Lock(); GLOB=1; MU.Unlock();} in Worker2()
6774 ANNOTATE_TRACE_MEMORY(&GLOB); in Run()
6827 int GLOB = 0; variable
6840 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); } in Worker1()
6841 void Worker2() { MU1.Lock(); GLOB=2; MU1.Unlock(); } in Worker2()
6842 void Worker3() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); } in Worker3()
6843 void Worker4() { MU2.Lock(); GLOB=4; MU2.Unlock(); } in Worker4()
6846 ANNOTATE_TRACE_MEMORY(&GLOB); in Run()
6860 int GLOB = 0; variable
6866 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); } in Worker1()
6867 void Worker2() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); } in Worker2()
6868 void Worker3() { GLOB=4; } in Worker3()
6871 ANNOTATE_TRACE_MEMORY(&GLOB); in Run()
6884 int *GLOB = 0; variable
6898 (*GLOB)++; // "--keep-history=2" will point here (experimental). in FunctionWithControlFlow()
6911 GLOB = new int; in Run()
6912 *GLOB = 1; in Run()
6965 string GLOB; variable
6968 GLOB="Thread1"; in Worker1()
6972 GLOB="Booooooooooo"; in Worker2()
7114 int GLOB = 0; variable
7115 void RaceyWrite() { GLOB++; } in RaceyWrite()
7148 int GLOB = 0; variable
7159 GLOB++; // Race here in Worker()
7165 printf("\tGLOB=%d\n", GLOB); in Run()
7294 int GLOB = 0; variable
7306 GLOB++; in Worker()
7352 int GLOB = 0; variable
7357 GLOB++; in TP()
7396 int GLOB[ARRAY_SIZE]; variable
7409 GLOB[i]++; in Worker()
7411 if (myId == 0 && GLOB[0] > GLOB_limit) { in Worker()
7416 nextQ.Put(GLOB); in Worker()
7424 Q[0]->Put(GLOB); in Run()
7545 int GLOB = 0; variable
7554 GLOB++; in Worker()
7571 CHECK(GLOB == N_threads * ITERATIONS); in Run()
7696 int GLOB = 0; variable
7702 GLOB++; in Worker()
7723 int GLOB = 0; variable
7727 ANNOTATE_CONDVAR_SIGNAL(&GLOB); in Run()
7729 GLOB++; in Run()
7730 ANNOTATE_CONDVAR_WAIT(&GLOB); in Run()
7740 int GLOB = 0; variable
7748 GLOB++; in Run()