On Thu, Sep 9, 2010 at 1:19 PM, Amker.Cheng <amker.ch...@gmail.com> wrote: > Hi, > I am studying gcc's points-to analysis right now and encountered a question. > In paper "Off-line Variable Substitution for Scaling Points-to > Analysis", section 3.2 > It says that we should not substitute a variable with other if it is > taken address. > But in GCC's implementation, it units pointer but not location > equivalent variables > in function unite_pointer_equivalences. > I am puzzled why gcc does this operation and How gcc keeps accuracy of > points-to > information after doing this. > > Further more, I did not found any words about this in paper > "Exploiting Pointer and Location Equivalence to Optimize Pointer > Analysis", which > according comments in gcc, is the basis of GCC's implementation. > > Any tips?Thanks in advance.
Danny should have the answers to these questions buried deep in his mind. ;) Richard. > -- > Best Regards. >
