1// SPDX-License-Identifier: GPL-2.0
 2#include <stdint.h>
 3#include <pthread.h>
 4
 5int main(void)
 6{
 7	pthread_barrier_t barrier;
 8
 9	pthread_barrier_init(&barrier, NULL, 1);
10	pthread_barrier_wait(&barrier);
11	return pthread_barrier_destroy(&barrier);
12}