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