/** Trigger barrier reinitialization, which is not allowed by the POSIX
* threads standard. See also http://www.opengroup.org/onlinepubs/000095399/functions/pthread_barrier_init.html.
*/
#define _GNU_SOURCE
#include <pthread.h>
int main(int argc, char** argv)
{
pthread_barrier_t b;
pthread_barrier_init(&b, 0, 1);
pthread_barrier_init(&b, 0, 1);
return 0;
}