1  /* PR optimization/8988 */
       2  /* Contributed by Kevin Easton */
       3  
       4  void foo(char *p1, char **p2)
       5  {}
       6   
       7  int 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  }