Lines Matching full:annotated
61 // TP and FP tests are annotated with ANNOTATE_EXPECT_RACE,
298 // Same as test05 but we annotated the Wait() loop.
2375 // test54: TN. Synchronization via implicit semaphore. Annotated {{{1
2377 // Same as test53, but annotated.
2547 // test59: TN. User defined synchronization. Annotated {{{1
2555 // same as test 58 but annotated
2644 // test61: TN. Synchronization via Mutex as in happens-before, annotated. {{{1
3007 // This is the same as test68, but annotated.
3510 // if MU is not annotated
3593 // test77: TN. Ref counting, MU is annotated. {{{1
3596 // same as test76, but RefCountedClass::MU is annotated.
3607 printf("test77: true negative (ref counting), mutex is annotated\n");
3620 // test78: TN. Ref counting, Unref is annotated. {{{1
3623 // same as test76, but RefCountedClass::Unref is annotated.
3634 printf("test78: true negative (ref counting), Unref is annotated\n");
3771 // test81: TN. Ref counting with atomics, Unref is annotated. {{{1
3774 // same as test80, but Unref is annotated.
3785 printf("test81: negative (annotated ref counting)\n");
4346 // test92: TN. Test for a safely-published pointer (read-write), annotated. {{{1
4348 // Similar to test91, but annotated with ANNOTATE_PUBLISH_MEMORY_RANGE.
4403 printf("test92: safely published pointer, read/write, annotated.\n");
5930 // Simple FIFO queue annotated with PCQ annotations. {{{1
6013 // If FifoMessageQueue was annotated using HAPPENS_BEFORE/AFTER, the race would
