int x(_Bool*); int main(int argc, char *argv[]) { int a; _Bool s; a = x(&s); if (s==1); return EXIT_SUCCESS; } int x(_Bool *res) { *res = 1; return 5; }