1 char *
f(char * s,unsigned int i)2 f (char *s, unsigned int i)
3 {
4   return &s[i + 3 - 1];
5 }
6 
main()7 main ()
8 {
9   char *str = "abcdefghijkl";
10   char *x2 = f (str, 12);
11   if (str + 14 != x2)
12     abort ();
13   exit (0);
14 }
15