1/* PR optimization/8988 */
2/* Contributed by Kevin Easton */
3
4void foo(char *p1, char **p2)
5{}
6
7int main(void)
8{
9  char str[] = "foo { xx }";
10  char *ptr = str + 5;
11
12  foo(ptr, &ptr);
13
14  while (*ptr && (*ptr == 13 || *ptr == 32))
15    ptr++;
16
17  return 0;
18}
19