[PATCH] Repair TYPE_REF_CAN_ALIAS_ALL machinery

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Mon May 22 13:12:00 GMT 2006


    As a general statement, we shouldn't need TYPE_REF_CAN_ALIAS_ALL, we
    handle the same thing in other languages without it.  

No.  Other languages don't have that concept.  In C, (char *) is presumed
to alias to everything, but that's (as has been said) really an attribute
of "char", not the pointer: *all* pointers to char behave that way.

In Ada, we have the situation where we have a type T and most pointers to
T are fine, but *one particular* type that points to T has this behavior.
That's a very different model.



More information about the Gcc-patches mailing list