diff options
author | upstream source tree <ports@midipix.org> | 2015-03-15 20:14:05 -0400 |
---|---|---|
committer | upstream source tree <ports@midipix.org> | 2015-03-15 20:14:05 -0400 |
commit | 554fd8c5195424bdbcabf5de30fdc183aba391bd (patch) | |
tree | 976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/testsuite/gcc.dg/c99-static-1.c | |
download | cbb-gcc-4.6.4-15d2061ac0796199866debe9ac87130894b0cdd3.tar.bz2 cbb-gcc-4.6.4-15d2061ac0796199866debe9ac87130894b0cdd3.tar.xz |
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.
downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.
if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.
Diffstat (limited to 'gcc/testsuite/gcc.dg/c99-static-1.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/c99-static-1.c | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/c99-static-1.c b/gcc/testsuite/gcc.dg/c99-static-1.c new file mode 100644 index 000000000..a138f878d --- /dev/null +++ b/gcc/testsuite/gcc.dg/c99-static-1.c @@ -0,0 +1,35 @@ +/* It is a constraint violation for a static function to be declared + but not defined if it is used except in a sizeof expression whose + result is an integer constant. The use of the function simply + being unevaluated is not enough. */ +/* Origin: Joseph Myers <jsm@polyomino.org.uk> */ +/* { dg-do compile } */ +/* { dg-options "-O2 -std=iso9899:1999 -pedantic-errors" } */ + +/* Constraint violation (trivial case, where function is used). */ +static void f0(void); /* { dg-error "used but never defined" } */ +void g0(void) { f0(); } + +/* Constraint violation. */ +static void f1(void); /* { dg-error "used but never defined" } */ +void g1(void) { if (0) { f1(); } } + +/* Constraint violation. */ +static int f2(void); /* { dg-error "used but never defined" } */ +void g2(void) { 0 ? f2() : 0; } + +/* OK. */ +static int f3(void); +void g3(void) { sizeof(f3()); } + +/* OK (VM type, not VLA). */ +static int f4(void); +void g4(void) { sizeof(int (*)[f4()]); } + +/* Constraint violation (VLA). */ +static int f5(void); /* { dg-error "used but never defined" "VLA" } */ +void g5(void) { sizeof(int [0 ? f5() : 1]); } + +/* OK (non-constant sizeof inside constant sizeof). */ +static int f6(void); +void g6(void) { sizeof(sizeof(int [f6()])); } |