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