1  /* We should not crash trying to figure out the points-to sets for the below.  We used to because we
       2     ended up adding pointers to the points-to set of the ANYTHING variable.  */
       3  struct D
       4  {
       5    int n;
       6    int c [8];
       7  };
       8  
       9  struct A
      10  {
      11    int i;
      12    char *p;
      13  };
      14  
      15  struct B
      16  {
      17    struct A *a;
      18    struct D *d;
      19  };
      20  
      21  int dtInsert1 (struct B *b)
      22  {
      23    struct A a = { 0, 0 };
      24    struct D *d;
      25    b->a = &a;
      26    d = b->d;
      27    &d->c [d->n];
      28    return 0;
      29  }
      30