Lines Matching refs:ANNOTATE_EXPECT_RACE
61 // TP and FP tests are annotated with ANNOTATE_EXPECT_RACE,
523 // ANNOTATE_EXPECT_RACE(&GLOB, "test12. FP. Fixed by MSMProp1.");
575 // ANNOTATE_EXPECT_RACE(&GLOB, "test13. FP. Fixed by MSMProp1.");
619 // ANNOTATE_EXPECT_RACE(&GLOB, "test14. FP. Fixed by MSMProp1.");
711 // ANNOTATE_EXPECT_RACE(&GLOB, "test16. FP. Fixed by MSMProp1 + Barrier support.");
1236 ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test30. Sync via 'safe' race.");
1290 ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test31. Sync via 'safe' race.");
1352 // ANNOTATE_EXPECT_RACE
1756 // ANNOTATE_EXPECT_RACE(&GLOB, "test40. FP. Fixed by MSMProp1. Complex Stuff.");
1828 // ANNOTATE_EXPECT_RACE(&GLOB, "test42. TN. debugging.");
1901 // ANNOTATE_EXPECT_RACE(&GLOB, "test44. FP. Fixed by MSMProp1.");
2230 ANNOTATE_EXPECT_RACE(&GLOB, "test51. TP.");
2302 ANNOTATE_EXPECT_RACE(&GLOB, "test52. TP.");
2943 ANNOTATE_EXPECT_RACE(&GLOB, "test67. FN. Race between Signaller1 and Waiter2");
2994 ANNOTATE_EXPECT_RACE(&GLOB, "TP. Writes are protected, reads are not.");
3257 ANNOTATE_EXPECT_RACE(GLOB, "TP: PositiveTests.MutexDtorNoSyncTest");
3285 ANNOTATE_EXPECT_RACE(GLOB, "TP: PositiveTests.MutexDtorNoSyncTest2");
3315 ANNOTATE_EXPECT_RACE(GLOB, "TP: PositiveTests.FprintfThreadCreateTest");
4081 ANNOTATE_EXPECT_RACE(a, "HarmfulRaceInDtor #1: expected race on a->vptr");
4093 ANNOTATE_EXPECT_RACE(a, "HarmfulRaceInDtor #2: expected race on a->vptr");
4149 ANNOTATE_EXPECT_RACE(&incorrectly_annotated_racey_write, "expected race");
4166 ANNOTATE_EXPECT_RACE(&incorrectly_annotated_racey_read, "expected race");
4846 ANNOTATE_EXPECT_RACE(&GLOB[42], "test104. TP.");
4892 // test107: Test for ANNOTATE_EXPECT_RACE {{{1
4897 ANNOTATE_EXPECT_RACE(&GLOB, "No race in fact. Just checking the tool.");
5403 ANNOTATE_EXPECT_RACE(&foo, "real race");
5469 ANNOTATE_EXPECT_RACE(racey_addr_beg, descr);
6472 ANNOTATE_EXPECT_RACE(mem, "race");
6622 ANNOTATE_EXPECT_RACE(&GLOB, "StressTests.ThreadTree3 race");
6628 ANNOTATE_EXPECT_RACE(&GLOB, "StressTests.ThreadTree7 race");
6757 ANNOTATE_EXPECT_RACE(&p[kIdx], "race: read vs free");
6856 ANNOTATE_EXPECT_RACE(mem1+10, "real race");
6862 ANNOTATE_EXPECT_RACE(mem1+25, "real race");
6868 ANNOTATE_EXPECT_RACE(mem1+60, "real race");
6874 ANNOTATE_EXPECT_RACE(mem1+70, "real race");
7585 ANNOTATE_EXPECT_RACE(&GLOB, "MutexNotPhbTest. TP.");
7604 ANNOTATE_EXPECT_RACE(&GLOB, "SimpleRace.");
7627 ANNOTATE_EXPECT_RACE(&GLOB, "SimpleRace. UNVERIFIABLE.");
7649 ANNOTATE_EXPECT_RACE(array + 0, "RaceVerifierTests_ManyRacesInOneTrace: race 1.");
7650 ANNOTATE_EXPECT_RACE(array + 1, "RaceVerifierTests_ManyRacesInOneTrace: race 2.");
7689 ANNOTATE_EXPECT_RACE(s + 3, "PrintfTests_RaceOnFwriteArgument.");
7710 ANNOTATE_EXPECT_RACE(s + 3, "PrintfTests_RaceOnPutsArgument.");
7733 ANNOTATE_EXPECT_RACE(s + 3, "PrintfTests_RaceOnPrintfArgument (stdout).");
7734 ANNOTATE_EXPECT_RACE(s2 + 3, "PrintfTests_RaceOnPrintfArgument (stderr).");
7757 ANNOTATE_EXPECT_RACE(&a, "PrintfTests_RaceOnOutputArgument:int.");
7825 ANNOTATE_EXPECT_RACE(P, "expected race in BenignRaceTest");
