| /* 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 "has internal linkage but is not defined" } */ |
| void g0(void) { f0(); } /* { dg-error "note: used here" } */ |
| |
| /* Constraint violation. */ |
| static void f1(void); /* { dg-error "has internal linkage but is not defined" } */ |
| void g1(void) { if (0) { f1(); } } /* { dg-error "note: used here" } */ |
| |
| /* Constraint violation. */ |
| static int f2(void); /* { dg-error "has internal linkage but is not defined" } */ |
| void g2(void) { 0 ? f2() : 0; } /* { dg-error "note: used here" } */ |
| |
| /* OK. */ |
| static int f3(void); |
| void g3(void) { sizeof(f3()); } |
| |
| /* OK (VM type, not VLA). */ |
| /* FIXME: clang currently messing up here */ |
| static int f4(void); /* { dg-error "has internal linkage but is not defined" } */ |
| void g4(void) { sizeof(int (*)[f4()]); } /* { dg-error "note: used here" } */ |
| |
| /* Constraint violation (VLA). */ |
| static int f5(void); /* { dg-error "has internal linkage but is not defined" } */ |
| void g5(void) { sizeof(int [0 ? f5() : 1]); } /* { dg-error "note: used here" } */ |
| |
| /* OK (non-constant sizeof inside constant sizeof). */ |
| /* FIXME: clang currently messing up here */ |
| static int f6(void); /* { dg-error "has internal linkage but is not defined" } */ |
| void g6(void) { sizeof(sizeof(int [f6()])); } /* { dg-error "note: used here" } */ |
| |
