New problem compiling g-exctra.adb

[Diego Novillo]

On Tue, 2004-09-07 at 22:43, Richard Kenner wrote:
>     Nope.  That's the whole point.  Our implementation will only create a
>     name tag (ie, a "good" tag) for pointers that have PT_VARS or
>     PT_MALLOC.  If you ignore it, it won't get a name tag, it will use a
>     type tag, which will make it alias to everything in sight.
> 
> Why will it get a tag *at all*?
> 
If it's dereferenced, it gets a tag.  In this case, it will probably not
be dereferenced, so it's moot.

> If I have:
> 
> 	char *p;
> 	char *q = 0;
> 
> and then the only assignments to both P and Q are from &a and &b, they both
> should be treated the same: as variables that can only alias A and B.  The
> fact that one also has an assignment of zero shouldn't matter at all.
>
We are talking about flow-sensitive aliasing here.


Diego.