gcc/testsuite/c-c++-common/gomp/imperfect-labels.c

   1 /* { dg-do compile } */
   2
   3 /* Check that a nested FOR loop with a label on it is treated as
   4    intervening code, since it doesn't match the grammar for canonical
   5    loop nest form.  */
   6
   7 extern void do_something (void);
   8
   9 void imperfect1 (int x, int y)
  10 {
  11 #pragma omp for collapse (2)
  12   for (int i = 0; i < x; i++)  /* { dg-error "not enough nested loops" } */
  13     {
  14     foo:
  15       for (int j = 0; j < y; j++)  /* { dg-error "loop not permitted in intervening code" } */
  16         do_something ();
  17     }
  18 }
  19
  20 void perfect1 (int x, int y)
  21 {
  22 #pragma omp for ordered (2)
  23   for (int i = 0; i < x; i++)  /* { dg-error "not enough nested loops" } */
  24     /* { dg-error "inner loops must be perfectly nested" "" { target *-*-*} .-1 } */
  25     {
  26     foo:
  27       for (int j = 0; j < y; j++)  /* { dg-error "loop not permitted in intervening code" } */
  28         do_something ();
  29     }
  30 }
  31
  32
  33 /* Similar, but put the label on a block wrapping the nested loop instead.  */
  34
  35 void imperfect2 (int x, int y)
  36 {
  37 #pragma omp for collapse (2)
  38   for (int i = 0; i < x; i++)  /* { dg-error "not enough nested loops" } */
  39     {
  40     foo:
  41       {
  42         for (int j = 0; j < y; j++)  /* { dg-error "loop not permitted in intervening code" } */
  43           do_something ();
  44       }
  45     }
  46 }
  47
  48 void perfect2 (int x, int y)
  49 {
  50 #pragma omp for ordered (2)
  51   for (int i = 0; i < x; i++)  /* { dg-error "not enough nested loops" } */
  52     /* { dg-error "inner loops must be perfectly nested" "" { target *-*-*} .-1 } */
  53     {
  54     foo:
  55       {
  56         for (int j = 0; j < y; j++)  /* { dg-error "loop not permitted in intervening code" } */
  57           do_something ();
  58       }
  59     }
  60 }
  61
  62 /* Sanity check that labels are allowed in the innermost loop body.  */
  63
  64 void imperfect3 (int x, int y)
  65 {
  66 #pragma omp for collapse (2)
  67   for (int i = 0; i < x; i++)
  68     for (int j = 0; j < y; j++)
  69       {
  70       foo:
  71         do_something ();
  72       }
  73 }
  74
  75 void perfect3 (int x, int y)
  76 {
  77 #pragma omp for ordered (2)
  78   for (int i = 0; i < x; i++)
  79     for (int j = 0; j < y; j++)
  80       {
  81       foo:
  82         do_something ();
  83       }
  84 }
  85