1  char *
       2  f (char *p)
       3  {
       4    short x = *p++ << 16;
       5    return p;
       6  }
       7  
       8  main ()
       9  {
      10    char *p = "";
      11    if (f (p) != p + 1)
      12      abort ();
      13    exit (0);
      14  }