1#include <stdbool.h> 2#include <stdlib.h> 3int strcmp (const char*, const char*); 4char s[2048] = "a"; 5inline bool foo(const char *str) { 6 return !strcmp(s,str); 7} 8int main() { 9int i = 0; 10 while(!(foo(""))) { 11 i ++; 12 s[0] = '\0'; 13 if (i>2) 14 abort (); 15 } 16 return 0; 17} 18 19