New problem compiling g-exctra.adb
Richard Kenner
kenner@vlsi1.ultra.nyu.edu
Wed Sep 8 03:45:00 GMT 2004
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 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.
More information about the Gcc
mailing list