gcc/testsuite/c-c++-common/gomp/imperfect-invalid-scope.c

   1 /* { dg-do compile } */
   2
   3 /* Check that various cases of invalid references to variables bound
   4    in an intervening code scope are diagnosed and do not ICE.  This test
   5    is expected to produce errors.  */
   6
   7 extern void foo (int, int);
   8
   9 void f1 (void)
  10 {
  11 #pragma omp for collapse (2)
  12   for (int i = 0; i < 64; i++)
  13     {
  14       int v = (i + 4) * 2;
  15       for (int j = v; j < 64; j++)  /* { dg-error "initializer is bound in intervening code" }  */
  16         foo (i, j);
  17     }
  18 }
  19
  20 void f2 (void)
  21 {
  22 #pragma omp for collapse (2)
  23   for (int i = 0; i < 64; i++)
  24     {
  25       int v = (i + 4) * 2;
  26       for (int j = 0; j < v; j++)  /* { dg-error "end test is bound in intervening code" }  */
  27         foo (i, j);
  28     }
  29 }
  30
  31 void f3 (void)
  32 {
  33 #pragma omp for collapse (2)
  34   for (int i = 0; i < 64; i++)
  35     {
  36       int v = (i + 4) * 2;
  37       for (int j = 0; j < 64; j = j + v)  /* { dg-error "increment expression is bound in intervening code" }  */
  38         foo (i, j);
  39     }
  40 }
  41
  42 void f4 (void)
  43 {
  44 #pragma omp for collapse (2)
  45   for (int i = 0; i < 64; i++)
  46     {
  47       int v = 8;
  48       for (int j = v; j < 64; j++)  /* { dg-error "initializer is bound in intervening code" }  */
  49         foo (i, j);
  50     }
  51 }
  52
  53 void f5 (void)
  54 {
  55 #pragma omp for collapse (2)
  56   for (int i = 0; i < 64; i++)
  57     {
  58       int j;
  59       for (j = 0; j < 64; j++)  /* { dg-error "loop variable is bound in intervening code" }  */
  60         foo (i, j);
  61     }
  62 }
  63
  64 void f6 (void)
  65 {
  66 #pragma omp for collapse (2)
  67   for (int i = 0; i < 64; i++)
  68     {
  69       int j;
  70       {
  71         int v = 8;
  72         for (j = v; j < 64; j++)    /* { dg-error "loop variable is bound in intervening code" }  */
  73           /* { dg-error "initializer is bound in intervening code" "" { target *-*-* } .-1 } */
  74           foo (i, j);
  75       }
  76     }
  77 }