wkali-2.c

来自「gcc-you can use this code to learn somet」· C语言 代码 · 共 14 行

/* { dg-do run } */

#include <stdlib.h>

extern int foo(void);

int main(void) {

    if (foo())
        exit(0);
    else
        abort();
}