// Test for ANNOTATE_BENIGN_RACE_STATIC() and ANNOTATE_UNPROTECTED_READ().


#include <pthread.h> /* pthread_create() */
#include <stdio.h>   /* fprintf() */
#include "../../drd/drd.h"


/* Local variables. */

static int s_i;
static volatile int s_j;

ANNOTATE_BENIGN_RACE_STATIC(s_i, "Benign because duplicate assignment.");


/* Local functions. */

static void* thread_func(void*)
{
  s_i = ANNOTATE_UNPROTECTED_READ(s_j);
  return 0;
}

int main(int argc, char** argv)
{
  pthread_t tid;

  pthread_create(&tid, 0, thread_func, NULL);
  s_j++;
  s_i = s_j;
  pthread_join(tid, NULL);

  fprintf(stderr, "Done.\n");

  return 0;
}