void fnp(void) | |
{ | |
int a; | |
for (;;) | |
a += 1; | |
} | |
void fnm(void) | |
{ | |
int a; | |
for (;;) | |
a -= 1; | |
} | |
void fna(void) | |
{ | |
int a; | |
for (;;) | |
a &= 1; | |
} | |
void fno(void) | |
{ | |
int a; | |
for (;;) | |
a |= 1; | |
} | |
void fnx(void) | |
{ | |
int a; | |
for (;;) | |
a ^= 1; | |
} | |
void fnl(void) | |
{ | |
int a; | |
for (;;) | |
a <<= 1; | |
} | |
void fnr(void) | |
{ | |
int a; | |
for (;;) | |
a >>= 1; | |
} | |
/* | |
* check-name: infinite loop 01 | |
* check-command: sparse -Wno-decl $file | |
* check-timeout: | |
*/ |