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. -- Best Regards.
