drd/tests/annotate_hb_err.c

   1 /* Test program that triggers several happens-before usage errors. */
   2
   3
   4 #include <stdlib.h>
   5 #include <stdio.h>
   6 #include <pthread.h>
   7 #include "unified_annotations.h"
   8
   9
  10 int main(int argc, char** argv)
  11 {
  12   pthread_mutex_t m;
  13   pthread_cond_t  cv;
  14   int i[64];
  15
  16   pthread_mutex_init(&m, NULL);
  17   pthread_cond_init(&cv, NULL);
  18
  19   /* happens-after without preceding happens-before. */
  20   U_ANNOTATE_HAPPENS_AFTER(&i);
  21
  22   /* happens-after on a mutex. */
  23   U_ANNOTATE_HAPPENS_BEFORE(&m);
  24
  25   /* happens-after on a condition variable. */
  26   U_ANNOTATE_HAPPENS_BEFORE(&cv);
  27
  28   /* condition variable operation on a h.b. annotated object. */
  29   U_ANNOTATE_HAPPENS_BEFORE(&i);
  30   pthread_cond_init((pthread_cond_t*)&i, NULL);
  31
  32   /* The sequence below is fine. */
  33   U_ANNOTATE_NEW_MEMORY(&i, sizeof(i));
  34   U_ANNOTATE_HAPPENS_BEFORE(&i);
  35   U_ANNOTATE_HAPPENS_AFTER(&i);
  36   U_ANNOTATE_NEW_MEMORY(&i, sizeof(i));
  37   U_ANNOTATE_HAPPENS_BEFORE(&i);
  38   U_ANNOTATE_NEW_MEMORY(&i, sizeof(i));
  39
  40   /* happens-before after happens-after. */
  41   U_ANNOTATE_HAPPENS_BEFORE(&i);
  42   U_ANNOTATE_HAPPENS_AFTER(&i);
  43   U_ANNOTATE_HAPPENS_BEFORE(&i);
  44
  45   fprintf(stderr, "Done.\n");
  46   return 0;
  47 }