1  int f (char *p) { }
       2  
       3  main ()
       4  {
       5    char c;
       6    char c2;
       7    int i = 0;
       8    char *pc = &c;
       9    char *pc2 = &c2;
      10    int *pi = &i;
      11  
      12    *pc2 = 1;
      13    *pi = 1;
      14    *pc2 &= *pi;
      15    f (pc2);
      16    *pc2 = 1;
      17    *pc2 &= *pi;
      18    if (*pc2 != 1)
      19      abort ();
      20    exit (0);
      21  }