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