wkali-2b.c

this is a gcc file, you can download it and learn its usetility, for further detail please look at t

/* { dg-do run } */

extern int foo(void) __attribute__((alias("bar_b")));

int bar_b(void) {
    return 1;
}