1  /* debuginfo tests for combinations of const, volatile, restrict pointers. */
       2  /* { dg-do run } */
       3  /* { dg-options "-std=c99 -gdwarf-3" } */
       4  
       5  int *ip __attribute__((used));
       6  const int *cip __attribute__((used));
       7  int * restrict irp __attribute__((used));
       8  int * const icp __attribute__((used));
       9  const int * restrict cirp __attribute__((used));
      10  int * const restrict icrp __attribute__((used));
      11  const int * const restrict cicrp __attribute__((used));
      12  
      13  int * const volatile restrict cvirp __attribute__((used));
      14  const volatile int * restrict pcvir __attribute__((used));
      15  
      16  static __attribute__((noclone, noinline)) void *
      17  cpy (void * restrict s1, const void * restrict s2, unsigned int n)
      18  {
      19    char *t1 = s1;
      20    const char *t2 = s2;
      21    while(n-- > 0)
      22      *t1++ = *t2++;
      23    return s1;
      24  }
      25  
      26  int
      27  main (int argc, char **argv)
      28  {
      29    void *foo = 0;
      30    if (argc > 16)
      31      foo = cpy (argv[0], argv[1], argc);
      32  
      33    return foo != 0;
      34  }
      35  
      36  /* { dg-final { gdb-test 30 "type:ip" "int *" } } */
      37  /* { dg-final { gdb-test 30 "type:cip" "const int *" } } */
      38  /* { dg-final { gdb-test 30 "type:irp" "int * restrict" } } */
      39  /* { dg-final { gdb-test 30 "type:icp" "int * const" } } */
      40  /* { dg-final { gdb-test 30 "type:cirp" "const int * restrict" } } */
      41  /* { dg-final { gdb-test 30 "type:icrp" "int * const restrict" } } */
      42  /* { dg-final { gdb-test 30 "type:cicrp" "const int * const restrict" } } */
      43  
      44  /* { dg-final { gdb-test 30 "type:cvirp" "int * const volatile restrict" } } */
      45  /* { dg-final { gdb-test 30 "type:pcvir" "const volatile int * restrict" } } */
      46  
      47  /* { dg-final { gdb-test 30 "type:main" "int (int, char **)" } } */
      48  /* { dg-final { gdb-test 30 "type:cpy" "void *(void * restrict, const void * restrict, unsigned int)" } } */