------- Comment #2 from rguenth at gcc dot gnu dot org 2007-09-07 10:10 -------
We have
Pointed-to sets for pointers in sub0
my_char_ref_1, name memory tag: NMT.30, is dereferenced, points-to vars: {
my_char }
and
Aliased symbols
my_char, UID D.871, char, is addressable, direct reads: 0, direct writes: 1,
indirect reads: 1, indirect writes: 0, read frequency: 10000, write frequency:
10000
SMT.29, UID D.904, char[1:1], is addressable, direct reads: 0, direct writes:
0, indirect reads: 0, indirect writes: 0, read frequency: 0, write frequency:
0, may aliases: { my_char }
NMT.30, UID D.905, char[1:1], is addressable, direct reads: 1, direct writes:
0, indirect reads: 0, indirect writes: 0, read frequency: 0, write frequency:
0, may aliases: { my_char }
so somehow we prune the aliases.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33330
