gcc/testsuite/c-c++-common/tsan/pr65400-3.c

   1 /* PR sanitizer/65400 */
   2 /* { dg-shouldfail "tsan" } */
   3 /* { dg-additional-options "-fno-omit-frame-pointer -ldl" } */
   4
   5 #include <pthread.h>
   6 #include "tsan_barrier.h"
   7
   8 static pthread_barrier_t barrier;
   9 int v;
  10
  11 int
  12 fn1 (int a, int b, int c)
  13 {
  14   int r = (a ^ b) % c;
  15   r = r * a * b + c;
  16   r = (r ^ b) % c;
  17   return r;
  18 }
  19
  20 int
  21 fn2 (int a, int b, int c)
  22 {
  23   int r = (a ^ b) % c;
  24   r = r * a * b + c;
  25   r = (r ^ b) % c;
  26   return r;
  27 }
  28
  29 __attribute__((noinline, noclone)) void
  30 foo (void)
  31 {
  32   barrier_wait (&barrier);
  33   barrier_wait (&barrier);
  34   v++;
  35 }
  36
  37 __attribute__((noinline, noclone)) void
  38 bar (void)
  39 {
  40   int (*fna) (int, int, int);
  41   int (*fnb) (int, int, int);
  42   int i;
  43   asm ("" : "=g" (fna) : "0" (fn1));
  44   asm ("" : "=g" (fnb) : "0" (fn2));
  45   for (i = 0; i < 128; i++)
  46     {
  47       fna (0, 0, i + 1);
  48       fnb (0, 0, i + 1);
  49     }
  50   foo ();
  51 }
  52
  53 __attribute__((noinline, noclone)) void *
  54 tf (void *arg)
  55 {
  56   (void) arg;
  57   bar ();
  58   return NULL;
  59 }
  60
  61 int
  62 main ()
  63 {
  64   pthread_t th;
  65   barrier_init (&barrier, 2);
  66   if (pthread_create (&th, NULL, tf, NULL))
  67     return 0;
  68   barrier_wait (&barrier);
  69   v++;
  70   barrier_wait (&barrier);
  71   pthread_join (th, NULL);
  72   return 0;
  73 }
  74
  75 /* { dg-output "WARNING: ThreadSanitizer: data race.*#2 _?tf" } */