int t14() {
return; }
void t15() {
return 1; }
int unknown();
void test0() {
}
int test1() {
}
int test2() {
a: goto a;
}
int test3() {
goto a;
a: ;
}
void halt() {
a: goto a;
}
void halt2() __attribute__((noreturn));
int test4() {
halt2();
}
int test5() {
halt2(), (void)1;
}
int test6() {
1, halt2();
}
int j;
int unknown_nohalt() {
return j;
}
int test7() {
unknown();
}
int test8() {
(void)(1 + unknown());
}
int halt3() __attribute__((noreturn));
int test9() {
(void)(halt3() + unknown());
}
int test10() {
(void)(unknown() || halt3());
}
int test11() {
(void)(unknown() && halt3());
}
int test12() {
(void)(halt3() || unknown());
}
int test13() {
(void)(halt3() && unknown());
}
int test14() {
(void)(1 || unknown());
}
int test15() {
(void)(0 || unknown());
}
int test16() {
(void)(0 && unknown());
}
int test17() {
(void)(1 && unknown());
}
int test18() {
(void)(unknown_nohalt() && halt3());
}
int test19() {
(void)(unknown_nohalt() && unknown());
}
int test20() {
int i;
if (i)
return 0;
else if (0)
return 2;
}
int test21() {
int i;
if (i)
return 0;
else if (1)
return 2;
}
int test22() {
int i;
switch (i) default: ;
}
int test23() {
int i;
switch (i) {
case 0:
return 0;
case 2:
return 2;
}
}
int test24() {
int i;
switch (i) {
case 0:
return 0;
case 2:
return 2;
default:
return -1;
}
}
int test25() {
1 ? halt3() : unknown();
}
int test26() {
0 ? halt3() : unknown();
}
int j;
void (*fptr)() __attribute__((noreturn));
int test27() {
switch (j) {
case 1:
do { } while (1);
break;
case 2:
for (;;) ;
break;
case 3:
for (;1;) ;
for (;0;) {
goto done;
}
return 1;
case 4:
while (0) { goto done; }
return 1;
case 5:
while (1) { return 1; }
break;
case 6:
fptr();
break;
default:
return 1;
}
done: ;
}
void test28() __attribute__((noreturn));
void test28(x) { while (1) { } }
void exit(int);
int test29() {
exit(1);
}
#include <setjmp.h>
jmp_buf test30_j;
int test30() {
if (j)
longjmp(test30_j, 1);
else
#if defined(_WIN32) || defined(_WIN64) || defined(__CYGWIN__)
longjmp(test30_j, 2);
#else
_longjmp(test30_j, 1);
#endif
}
typedef void test31_t(int status);
void test31(test31_t *callback __attribute__((noreturn)));
void test32() {
^ (void) { while (1) { } }();
^ (void) { if (j) while (1) { } }();
while (1) { }
}
void test33() {
if (j) while (1) { }
}
static inline int si_has_missing_return() {} static inline int si_has_missing_return_2() {}; static inline int si_forward();
static inline int si_has_missing_return_3(int x) {
if (x)
return si_has_missing_return_3(x+1);
}
int test_static_inline(int x) {
si_forward();
return x ? si_has_missing_return_2() : si_has_missing_return_3(x);
}
static inline int si_forward() {}
const int ignored_c_quals(); const volatile int ignored_cv_quals(); char* const volatile restrict ignored_cvr_quals();
enum Cases { C1, C2, C3, C4 };
int test_enum_cases(enum Cases C) {
switch (C) {
case C1: return 1;
case C2: return 2;
case C4: return 3;
case C3: return 4;
}
}
int test34(int x) {
if (x == 1) {
return 3;
} else if ( x == 2 || 1) {
return 5;
}
}