On Mar 28, 2006, at 11:03 PM, Tianwei Sheng wrote:
I need the field_info to help in alias analysis. for example:
int *p = &pair.a;
int *q = &pair.b;
then if I can set length of "*p" to 4,ofset is '0' . for "*q" to
"8,4". also I know that p definitly points to pair.a and q points to
pair.b, then i can say "*p" and "*q" are not aliased with each other.
My take, a + 0 != a + 8, so they point to different areas. Since you
already have the offset information, you already have the information
you need.
Kinda like &a[4] != &a[5], even though the type is the same.
