| /* We should not crash trying to figure out the points-to sets for the below. We used to because we | |
| ended up adding pointers to the points-to set of the ANYTHING variable. */ | |
| struct D | |
| { | |
| int n; | |
| int c [8]; | |
| }; | |
| struct A | |
| { | |
| int i; | |
| char *p; | |
| }; | |
| struct B | |
| { | |
| struct A *a; | |
| struct D *d; | |
| }; | |
| int dtInsert1 (struct B *b) | |
| { | |
| struct A a = { 0, 0 }; | |
| struct D *d; | |
| b->a = &a; | |
| d = b->d; | |
| &d->c [d->n]; | |
| return 0; | |
| } | |