Linux-libre 5.3.12-gnu
[librecmc/linux-libre.git] / tools / lib / lockdep / tests / ABA.c
1 // SPDX-License-Identifier: GPL-2.0
2 #include <liblockdep/mutex.h>
3
4 void main(void)
5 {
6         pthread_mutex_t a, b;
7
8         pthread_mutex_init(&a, NULL);
9         pthread_mutex_init(&b, NULL);
10
11         pthread_mutex_lock(&a);
12         pthread_mutex_lock(&b);
13         pthread_mutex_lock(&a);
14 }