Lines Matching defs:TP

55 //   - TP (true positive) : a race exists and reported.
61 // TP and FP tests are annotated with ANNOTATE_EXPECT_RACE,
91 // test01: TP. Simple race (write vs write). {{{1
104 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test01. TP.");
423 // test09: TP. Simple race (read vs write). {{{1
439 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test09. TP.");
475 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test10. TP. FN in MSMHelgrind.");
823 // test20: TP. Incorrect synchronization via AwaitWhen(), timeout. {{{1
842 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test20. TP.");
851 // test21: TP. Incorrect synchronization via LockWhenWithTimeout(). {{{1
869 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test21. TP.");
878 // test22: TP. Incorrect synchronization via CondVar::WaitWithTimeout(). {{{1
902 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test22. TP.");
1039 // test26: TP. Incorrect synchronization via ReaderLockWhenWithTimeout(). {{{1
1058 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test26. TP");
1994 // test47: TP. Not detected by pure happens-before detectors. {{{1
2021 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test47. TP. Not detected by pure HB.");
2058 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test48. TP. FN in MSMHelgrind.");
2100 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test49. TP. FN in MSMHelgrind.");
2111 // test50: TP. Synchronization via CondVar. {{{1
2160 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test50. TP.");
2170 // test51: TP. Synchronization via CondVar: problem with several signals. {{{1
2230 ANNOTATE_EXPECT_RACE(&GLOB, "test51. TP.");
2241 // test52: TP. Synchronization via CondVar: problem with several signals. {{{1
2302 ANNOTATE_EXPECT_RACE(&GLOB, "test52. TP.");
2458 // test56: TP. Use of ANNOTATE_BENIGN_RACE. {{{1
2750 // test64: TP. T2 happens-before T3, but T1 is independent. Reads in T1/T2. {{{1
2782 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test64: TP.");
2793 // test65: TP. T2 happens-before T3, but T1 is independent. Writes in T1/T2. {{{1
2836 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test65. TP.");
2954 // test68: TP. Writes are protected by MU, reads are not. {{{1
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");
3900 // test84: TP. True race (regression test for a bug related to atomics){{{1
3928 ANNOTATE_EXPECT_RACE_FOR_TSAN(&s_y, "test84: TP. true race.");
4413 // test93: TP. Test for incorrect usage of ANNOTATE_PUBLISH_MEMORY_RANGE. {{{1
4438 // test94: TP. Check do_cv_signal/fake segment logic {{{1
4487 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test94: TP.");
4488 printf("test94: TP. Check do_cv_signal/fake segment logic\n");
4497 // test95: TP. Check do_cv_signal/fake segment logic {{{1
4539 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "test95: TP.");
4540 printf("test95: TP. Check do_cv_signal/fake segment logic\n");
4621 // test99: TP. Unit test for a bug in LockWhen*. {{{1
4775 ANNOTATE_EXPECT_RACE_FOR_TSAN(GLOB+0, "test102: TP. FN with --fast-mode=yes");
4776 ANNOTATE_EXPECT_RACE_FOR_TSAN(GLOB+1, "test102: TP");
4829 // test104: TP. Simple race (write vs write). Heap mem. {{{1
4846 ANNOTATE_EXPECT_RACE(&GLOB[42], "test104. TP.");
5268 // test119: TP. Testing that malloc does not introduce any HB arc. {{{1
5293 // test120: TP. Thread1: write then read. Thread2: read. {{{1
5308 ANNOTATE_EXPECT_RACE_FOR_TSAN(&GLOB, "TP (T1: write then read, T2: read)");
5730 // test132: TP. Simple race (write vs write). Works in fast-mode. {{{1
5752 // test133: TP. Simple race (write vs write). Works in fast mode. {{{1
5825 // test137 TP. Races on stack variables. {{{1
5843 printf("test137: TP. Races on stack variables.\n");
6008 // test143: TP. Check PCQ_* annotations. {{{1
7016 void TP() {
7025 MyThreadArray t(TP, TP);
7409 void TP() {
7427 MyThreadArray t(TP, TP);
7585 ANNOTATE_EXPECT_RACE(&GLOB, "MutexNotPhbTest. TP.");