gcc/testsuite/gcc.dg/guality/const-volatile.c

   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)" } } */