1  extern void abort (void);
       2  struct S { int s; int *u; int v[5]; };
       3  volatile int z;
       4  
       5  int
       6  main ()
       7  {
       8    int u[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }, err = 0;
       9    struct S s = { 9, u + 3, { 10, 11, 12, 13, 14 } };
      10    int *v = u + 4;
      11    #pragma omp target enter data map (to: s.s, s.u, s.u[0:5]) map (alloc: s.v[1:3])
      12    s.s++;
      13    u[3]++;
      14    s.v[1]++;
      15    #pragma omp target update to (s.s) to (s.u[0:2], s.v[1:3])
      16    #pragma omp target map (alloc: s.s, s.v[1:3]) map (from: err)
      17    {
      18      err = 0;
      19      if (s.s != 10 || s.v[1] != 12 || s.v[2] != 12 || s.v[3] != 13)
      20        err = 1;
      21      if (v[-1] != 4 || v[0] != 4 || v[1] != 5 || v[2] != 6 || v[3] != 7)
      22        err = 1;
      23      s.s++;
      24      s.v[2] += 2;
      25      v[-1] = 5;
      26      v[3] = 9;
      27    }
      28    if (err)
      29      abort ();
      30    #pragma omp target map (alloc: s.u[0:5])
      31    {
      32      err = 0;
      33      if (s.u[0] != 5 || s.u[1] != 4 || s.u[2] != 5 || s.u[3] != 6 || s.u[4] != 9)
      34        err = 1;
      35      s.u[1] = 12;
      36    }
      37    #pragma omp target update from (s.s, s.u[0:5]) from (s.v[1:3])
      38    if (err || s.s != 11 || u[0] != 0 || u[1] != 1 || u[2] != 2 || u[3] != 5
      39        || u[4] != 12 || u[5] != 5 || u[6] != 6 || u[7] != 9 || u[8] != 8
      40        || u[9] != 9 || s.v[0] != 10 || s.v[1] != 12 || s.v[2] != 14
      41        || s.v[3] != 13 || s.v[4] != 14)
      42      abort ();
      43    #pragma omp target exit data map (release: s.s)
      44    #pragma omp target exit data map (release: s.u[0:5])
      45    #pragma omp target exit data map (delete: s.v[1:3])
      46    #pragma omp target exit data map (release: s.s)
      47    return 0;
      48  }