------- Comment #5 from dnovillo at gcc dot gnu dot org 2006-03-10 15:45
-------
The two pointers are assigned the same SMT. Is this still a problem?
Dereferenced pointers
D.1541, UID 1541, int *, symbol memory tag: SMT.5
D.1542, UID 1542, int *, symbol memory tag: SMT.5
Or do you need to analyze g1 and g2?
--
dnovillo at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|dnovillo at gcc dot gnu dot |unassigned at gcc dot gnu
|org |dot org
Status|ASSIGNED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22254
