1  /* PR middle-end/30286 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O2 -ftrapv" } */
       4  /* { dg-require-effective-target trapping } */
       5  
       6  extern void abort (void);
       7  struct S { struct S *s; };
       8  struct T { struct S *t[25]; };
       9  
      10  void
      11  __attribute__((noinline))
      12  foo (int i, struct T *x, struct S *y)
      13  {
      14    int j;
      15    for (j = 14; j > i; j--)
      16      x->t[j] = y->s;
      17  }
      18  
      19  int
      20  main (void)
      21  {
      22    struct S s;
      23    struct T t;
      24    int i;
      25  
      26    s.s = &s;
      27    __builtin_memset (&t, 0, sizeof (t));
      28    foo (6, &t, &s);
      29    for (i = 0; i < 25; i++)
      30      if (t.t[i] != ((i > 6 && i <= 14) ? &s : (struct S *) 0))
      31        abort ();
      32    __builtin_memset (&t, 0, sizeof (t));
      33    foo (-1, &t, &s);
      34    for (i = 0; i < 25; i++)
      35      if (t.t[i] != ((i >= 0 && i <= 14) ? &s : (struct S *) 0))
      36        abort ();
      37    return 0;
      38  }