------- Comment #4 from dberlin at gcc dot gnu dot org 2006-08-23 01:40 ------- Subject: Re: [4.2 Regression] wrong code with may_alias and structs
pinskia at gcc dot gnu dot org wrote: > ------- Comment #3 from pinskia at gcc dot gnu dot org 2006-08-22 21:50 > ------- > Created an attachment (id=12116) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12116&action=view) > --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12116&action=view) > aliasing dump > > aliasing dump for the newest testcase. > > My guess is now that access_can_touch_variable is returning false for the p->x store when it asks about a, so it uses the bare NMT. This is a hard nut to crack, my *guess* is that if you just check the alias set of the type of the access, we are going to end up claiming any access to a structure containing a char variable is aliased. Try it though :) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28807
