This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Repair TYPE_REF_CAN_ALIAS_ALL machinery


    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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]