This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

question on points-to analysis


Hi,
I am studying gcc's points-to analysis right now and encountered a question.
In paper "Oï-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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]