1/* { dg-do compile } */
2/* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow" } */
3
4/* This erroneously gave an overflow warning.  */
5
6extern void bar (char);
7void
8foo (char *s)
9{
10  int len, i;
11
12  for (len = 1; len < 5000; ++len)
13    {
14      for (i = 0; i < len; ++i)
15	{
16	  if (s[i] != '\0')
17	    bar (s[i]);
18	}
19    }
20}
21