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