| 19 | } thd_start_arg_t; |
| 20 | |
| 21 | static void * |
| 22 | thd_start(void *varg) { |
| 23 | thd_start_arg_t *arg = (thd_start_arg_t *)varg; |
| 24 | unsigned i; |
| 25 | |
| 26 | for (i = 0; i < NINCRS; i++) { |
| 27 | mtx_lock(&arg->mtx); |
| 28 | arg->x++; |
| 29 | mtx_unlock(&arg->mtx); |
| 30 | } |
| 31 | return NULL; |
| 32 | } |
| 33 | |
| 34 | TEST_BEGIN(test_mtx_race) { |
| 35 | thd_start_arg_t arg; |
nothing calls this directly
no test coverage detected