Lines Matching refs:T3
2750 // test64: TP. T2 happens-before T3, but T1 is independent. Reads in T1/T2. {{{1
2752 // True race between T1 and T3:
2754 // T1: T2: T3:
2775 void T3() {
2784 MyThreadArray t(T1, T2, T3);
2793 // test65: TP. T2 happens-before T3, but T1 is independent. Writes in T1/T2. {{{1
2796 // True race between T1 and T3:
2798 // T1: T2: T3:
2828 void T3() {
2838 MyThreadArray t(T1, T2, T3);
6119 // test148: FN. 3 threads, h-b hides race between T1 and T3. {{{1
6152 printf("test148: FN. 3 threads, h-b hides race between T1 and T3.\n");
