New problem compiling g-exctra.adb

[Diego Novillo]

On Tue, 2004-09-07 at 21:56, Daniel Berlin wrote:

> Except that you get that information anyway, since there will be no
> other assignments to that variable, and thus, ignoring that assignment
> will make it unaliased because it points to nothing.
> And if there were other assignments for some reason, you have to process
> those too, and it could point to those things as well.
>
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.


Diego.