Re: Still has problems: Re: [tree-ssa] USE or VUSE bugs?

[Daniel Berlin <dberlin at dberlin dot org>]

On Monday, April 28, 2003, at 08:52  PM, Richard Henderson wrote:

> On Mon, Apr 28, 2003 at 06:33:23PM -0400, Daniel Berlin wrote:
> > >  char *str;
> >
> > a can't alias with *str.6, that would imply str.6 = &a, and that's not
> > allowed due to strict aliasing.
>
> Why not?  "char" and company are allowed to alias anything.


Yeah, i forgot about that for a moment (just had come home from a 
final, brain filled with corporations).
But i'm not going to think more about his question, because my only 
concern is generally whether PTA has screwed something up.

PTA gives the right answers here AFAICT, so if something is wrong, it's 
elsewhere (and thus, out of my jurisdiction):
Points-to sets:
T.7 :={}(0)
T.8 :={}(0)
T.9 :={c,b,.GLOBAL_VAR}(3)
b.10 :={c,b,.GLOBAL_VAR}(3)
c.11 :={c,b,.GLOBAL_VAR}(3)
c :={.GLOBAL_VAR}(1)
in :={.GLOBAL_VAR}(1)
.GLOBAL_VAR :={.GLOBAL_VAR}(1)
in2 :={}(0)
func :={func}(1)
str.1 :={.GLOBAL_VAR,b}(2)
str :={}(0)
T.2 :={}(0)
T.3 :={}(0)
T.4 :={.GLOBAL_VAR,b}(2)
b.5 :={.GLOBAL_VAR,b}(2)
b :={.GLOBAL_VAR}(1)
sscanf :={sscanf}(1)
str.6 :={c,b,.GLOBAL_VAR}(3)