Another case of DCE deleting live code

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Tue Nov 9 23:58:00 GMT 2004


    I have to admit that TYPE_REF_CAN_ALIAS_ALL baffles me.  Sounds like an
    early hack and it's placed in the wrong spot.  A pointer does not really
    alias anything, it may *point* to other memory.  It is the pointed-to
    memory location that may *alias* other variables.

I added it, so I'll take any blame, but what the name means is that
the *reference* can alias all, which is exactly the semantics: we have
to assume that pointer can refeference anything. It's the exact opposite
of restricted pointers.



More information about the Gcc mailing list