gcc/testsuite/gcc.dg/pr81854.c

/* PR c/81854 - weak alias of an incompatible symbol accepted
   { dg-do compile }
   { dg-require-ifunc "" }
   { dg-options "-Wextra" } */

const char* __attribute__ ((weak, alias ("f0_target")))
f0 (void);          /* { dg-error "alias between function and variable" } */

int f0_target;      /* { dg-message "aliased declaration here" } */


const char* __attribute__ ((weak, alias ("f1_target")))
f1 (void);          /* { dg-warning "alias between functions of incompatible types" } */

void f1_target (int *p)   /* { dg-message "aliased declaration here" } */
{
  *p = 0;
}


const char* __attribute__ ((alias ("f2_target")))
f2 (void*);   /* { dg-warning "alias between functions of incompatible types" } */

const char* f2_target (int i)   /* { dg-message "aliased declaration here" } */
{
  (void)&i;
  return 0;
}

int __attribute__ ((ifunc ("f3_resolver")))
f3 (void);          /* { dg-message "resolver indirect function declared here" } */

void* f3_resolver (void) /* { dg-warning "ifunc. resolver for .f3. should return .int \\(\\*\\)\\(void\\)." } */
{
  return 0;
}


int __attribute__ ((ifunc ("f4_resolver")))
f4 (void);          /* { dg-message "resolver indirect function declared here" } */

typedef void F4 (void);
F4* f4_resolver (void) /* { dg-warning ".ifunc. resolver for .f4. should return .int \\(\\*\\)\\(void\\)" } */
{
  return 0;
}

const char* __attribute__ ((ifunc ("f5_resolver")))
f5 (void);

typedef const char* F5 (void);
F5* f5_resolver (void)
{
  return 0;
}

int __attribute__ ((ifunc ("f6_resolver")))
f6 (void);          /* { dg-message "resolver indirect function declared here" } */

int f6_resolver (void)   /* { dg-error ".ifunc. resolver for 'f6' must return .int \\(\\*\\)\\(void\\)." } */
{
  return 0;
}