This is the mail archive of the
mailing list for the GCC project.
question on points-to analysis
- From: "Amker.Cheng" <amker dot cheng at gmail dot com>
- To: gcc at gcc dot gnu dot org
- Date: Thu, 9 Sep 2010 19:19:52 +0800
- Subject: question on points-to analysis
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
But in GCC's implementation, it units pointer but not location
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
according comments in gcc, is the basis of GCC's implementation.
Any tips?Thanks in advance.