1  /* debuginfo tests for combinations of const and volatile type qualifiers. */
       2  /* { dg-do run } */
       3  /* { dg-options "-g" } */
       4  
       5  int i __attribute__((used));
       6  const int ci __attribute__((used));
       7  volatile int vi;
       8  const volatile int cvi;
       9  
      10  int *pi __attribute__((used));
      11  const int *pci __attribute__((used));
      12  volatile int *pvi __attribute__((used));
      13  const volatile int *pcvi __attribute__((used));
      14  
      15  int * const cip __attribute__((used));
      16  int * volatile vip;
      17  int * const volatile cvip;
      18  
      19  volatile struct
      20  {
      21    const long cli;
      22    const signed char csc;
      23  } vs;
      24  
      25  struct foo
      26  {
      27    const long cli;
      28    const signed char csc;
      29  };
      30  
      31  struct bar
      32  {
      33    short s;
      34    const short cs;
      35    volatile short vs;
      36    const volatile short cvs;
      37    volatile long long vll;
      38  };
      39  
      40  struct bar bar __attribute__((used));
      41  struct foo foo __attribute__((used));
      42  const struct foo cfoo __attribute__((used));
      43  volatile struct foo vfoo;
      44  const volatile struct foo cvfoo;
      45  
      46  typedef volatile signed char score;
      47  
      48  score s;
      49  const score cs;
      50  
      51  static __attribute__((noclone, noinline)) int
      52  f (const char *progname, volatile struct foo *dummy, const score s)
      53  {
      54    return progname == 0 || dummy == 0 || dummy->csc == s;
      55  }
      56  
      57  int
      58  main (int argc, char **argv)
      59  {
      60    score as = argc;
      61    struct foo dummy = { 1, 1 };
      62    return f (argv[0], &dummy, as) - 1;
      63  }
      64  
      65  /* { dg-final { gdb-test "@main" "type:main" "int (int, char **)" } } */
      66  
      67  /* { dg-final { gdb-test "@main" "type:i" "int" } } */
      68  /* { dg-final { gdb-test "@main" "type:ci" "const int" } } */
      69  /* { dg-final { gdb-test "@main" "type:vi" "volatile int" } } */
      70  /* { dg-final { gdb-test "@main" "type:cvi" "const volatile int" } } */
      71  
      72  /* { dg-final { gdb-test "@main" "type:pi" "int *" } } */
      73  /* { dg-final { gdb-test "@main" "type:pci" "const int *" } } */
      74  /* { dg-final { gdb-test "@main" "type:pvi" "volatile int *" } } */
      75  /* { dg-final { gdb-test "@main" "type:pcvi" "const volatile int *" } } */
      76  
      77  /* { dg-final { gdb-test "@main" "type:cip" "int * const" } } */
      78  /* { dg-final { gdb-test "@main" "type:vip" "int * volatile" } } */
      79  /* { dg-final { gdb-test "@main" "type:cvip" "int * const volatile" } } */
      80  
      81  /* { dg-final { gdb-test "@main" "type:vs" "volatile struct { const long cli; const signed char csc; }" } } */
      82  
      83  /* { dg-final { gdb-test "@main" "type:bar" "struct bar { short s; const short cs; volatile short vs; const volatile short cvs; volatile long long vll; }" } } */
      84  /* { dg-final { gdb-test "@main" "type:foo" "struct foo { const long cli; const signed char csc; }" } } */
      85  /* { dg-final { gdb-test "@main" "type:cfoo" "const struct foo { const long cli; const signed char csc; }" } } */
      86  /* { dg-final { gdb-test "@main" "type:vfoo" "volatile struct foo { const long cli; const signed char csc; }" } } */
      87  /* { dg-final { gdb-test "@main" "type:cvfoo" "const volatile struct foo { const long cli; const signed char csc; }" } } */
      88  
      89  /* { dg-final { gdb-test "@main" "type:s" "volatile signed char" } } */
      90  /* { dg-final { gdb-test "@main" "type:cs" "const volatile signed char" } } */
      91  
      92  /* { dg-final { gdb-test "@main" "type:f" "int (const char *, volatile struct foo *, const score)" } } */