Re: Pointer analysis in GCC-4.3.0 - Getting spurious pointsTo pair.

2009-06-15 Thread Richard Guenther
On Mon, Jun 15, 2009 at 12:33 PM, Seema Ravandale wrote: > Hi. > > Gimple code of the program I have tried to get the pointsTo > information is as follow: > >  A = 0; >  B = &A; >  C = &B; >  D = &C; >  D.1255 = *D; >  D = (int * * *) D.1255; > > The expected pointsTo pairs  are, > B = { A } , A =

Pointer analysis in GCC-4.3.0 - Getting spurious pointsTo pair.

2009-06-15 Thread Seema Ravandale
Hi. Gimple code of the program I have tried to get the pointsTo information is as follow:  A = 0;  B = &A;  C = &B;  D = &C;  D.1255 = *D;  D = (int * * *) D.1255; The expected pointsTo pairs  are, B = { A } , A = { },  C = { B }, D.1255 = { B }, D = { B  C } But with GCC-4.3.0, and command lin