// PARAM: --disable ana.race.direct-arithmetic --set ana.activated[+] "'var_eq'"  --set ana.activated[+] "'symb_locks'"
#include<pthread.h>

struct s {
  int datum;
  pthread_mutex_t mutex;
};

extern struct s *get_s();

void *t_fun(void *arg) {
  struct s *s = get_s();
  s->datum = 5; // NORACE (disjoint types)
  return NULL;
}

int main () {
  int *d;
  struct s *s;
  pthread_t id;
  pthread_mutex_t *m;

  s = get_s();
  m = &s->mutex;
  d = &s->datum;

  pthread_create(&id,NULL,t_fun,NULL);
  *d = 8; // NORACE (disjoint types)

  return 0;
}
