This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Refine escaping pointers when integers are involved
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: dberlin at dberlin dot org
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 26 Nov 04 20:39:52 EST
- Subject: Re: Refine escaping pointers when integers are involved
On one hand, i doubt the code to track this is that much trouble with
some like the propagation engine (since it's just copying the state
around).
True, but why bother? It's just not that common. It's far simpler to just
say it escapes when converted to an integer and stop tracking the value.
On the ohter hand, people who cast pointers to integers and back get
what the deserve. :)
Unfortunately, in Ada, 'Address is an integer. Parts of the run-time
(such as array operations) work by passing 'Address to the RTS routines.
I'm not thrilled with that interface (for the type of reasons you are
hinting at), but I looked at a number of them and all the alternatives
I could come up with had their own problems.