Eric Northup wrote:
On Fri, 2005-01-28 at 08:17, Jonathan S. Shapiro wrote:
On Fri, 2005-01-28 at 15:37 +0600, Constantine Plotnikov wrote:
[...]
I have not found construct that allows raw pointer manipulation or
primitives for conversion from number to pointer and back.
Converting from pointer to number is fine. Converting from number to
pointer is simply permitted, and is not needed in a disciplined
implementation.
I assume you mean "simply prohibited". Converting from number to
pointer violates memory safety. And without memory safety, reasoning
about program's behavior just got _much_ harder. Enough harder that we
don't know if it is possible for programs of any complexity.
Ok. Please tell me then how I can write a memory manager (simple
malloc/free or garbage collected heap) without such unsafe construct (or
its equivalent). Or JIT compiler that needs to create pointer to function.
Constantine
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
