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 dtInsert1(struct B * b)21int 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 31