helgrind/tests/readshared.c

/* All OK - test allowed read sharing */

#include <pthread.h>
#include <assert.h>

static int shared;

static void *t1(void *v)
{
	return (void *)(shared + 44);
}

static void *t2(void *v)
{
	return (void *)(shared + 55);
}

int main()
{
	pthread_t a, b;

	shared = 22;

	pthread_create(&a, NULL, t1, NULL);	
	pthread_create(&b, NULL, t2, NULL);

	pthread_join(a, NULL);
	pthread_join(b, NULL);

	assert(shared == 22);

	return 0;
}