Viewing file:  c99-arraydecl-1.c (2.97 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Test for C99 forms of array declarator. */
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
/* { dg-do compile } */
/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
/* Because GCC doesn't yet implement it, we don't yet test for [*] here. */
/* Test each of: [quals], [quals expr], [static expr], [static quals expr],
[quals static expr]. Not yet: [quals *]. */
void f00 (int a[const]);
void f01 (int [const]);
void
f02 (int a[const])
{
int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "discards" "discards quals" { target *-*-* } .-1 } */
int *const *c = &a;
}
void
f03 (a)
int a[const];
{
int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "discards" "discards quals" { target *-*-* } .-1 } */
int *const *c = &a;
}
void f10 (int a[const 2]);
void f11 (int [const 2]);
void
f12 (int a[const 2])
{
int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "discards" "discards quals" { target *-*-* } .-1 } */
int *const *c = &a;
}
void
f13 (a)
int a[const 2];
{
int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "discards" "discards quals" { target *-*-* } .-1 } */
int *const *c = &a;
}
void f20 (int a[static 2]);
void f21 (int [static 2]);
void
f22 (int a[static 2])
{
int **b = &a;
int *const *c = &a;
}
void
f23 (a)
int a[static 2];
{
int **b = &a;
int *const *c = &a;
}
void f30 (int a[static const 2]);
void f31 (int [static const 2]);
void
f32 (int a[static const 2])
{
int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "discards" "discards quals" { target *-*-* } .-1 } */
int *const *c = &a;
}
void
f33 (a)
int a[static const 2];
{
int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "discards" "discards quals" { target *-*-* } .-1 } */
int *const *c = &a;
}
void f40 (int a[const static 2]);
void f41 (int [const static 2]);
void
f42 (int a[const static 2])
{
int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "discards" "discards quals" { target *-*-* } .-1 } */
int *const *c = &a;
}
void
f43 (a)
int a[const static 2];
{
int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "discards" "discards quals" { target *-*-* } .-1 } */
int *const *c = &a;
}
/* Test rejection of static and type qualifiers in non-parameter contexts. */
int x[const 2]; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "non-parameter" "quals in non-parm array" { target *-*-* } .-1 } */
int y[static 2]; /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "non-parameter" "static in non-parm array" { target *-*-* } .-1 } */
void g (int a[static 2][3]);
void h (int a[2][static 3]); /* { dg-bogus "warning" "warning in place of error" } */
/* { dg-error "non-parameter" "static in non-final parm array" { target *-*-* } .-1 } */
|
