| 378 | } |
| 379 | |
| 380 | void thread(unsigned int tid) |
| 381 | { |
| 382 | RelacyThreadExitNotifier::notify_relacy_thread_start(); |
| 383 | |
| 384 | q.enqueue(tid * 3 + 0); |
| 385 | q.enqueue(tid * 3 + 1); |
| 386 | q.enqueue(tid * 3 + 2); |
| 387 | |
| 388 | int item; |
| 389 | for (int i = 0; i != 2; ++i) { |
| 390 | if (q.try_dequeue(item)) { |
| 391 | RL_ASSERT(!seen[item]); |
| 392 | seen[item] = true; |
| 393 | } |
| 394 | } |
| 395 | |
| 396 | RelacyThreadExitNotifier::notify_relacy_thread_exit(); |
| 397 | } |
| 398 | |
| 399 | void after() |
| 400 | { |
nothing calls this directly
no test coverage detected