Re: Q: Ada.Unchecked_Deallocation

[Uri Shina <shina@iol.co.il>]

Robert Dewar wrote:
> 
> Andy said
> 
> "The DEC VMS implementation of Unchecked Allocation and Deallocation is
> not totally unchecked.  It is a generic function that will fail at
> compile time if the size of the memory to be created/removed is not
> the same as the instantiated function.  I assumed other
> implementations would do the same.  Are there totally unchecked
> implementations out there?"

I have noticed that memory allocated during a VMS AST wasn't deallocated
by Unchecked Deallocation.

> That's a bit confused, and cannot be right as written since often
> UD is used to free items whose size is only known at execution time.
> What exactly do you mean here? (or can someone else who knows the
> details on this check eludicated). Since Free is a type checked
> function like any other in Ada, what could be violated here? One
> can imagine a check at the malloc/free type level, but I don't
> see that any high level Ada check makes any sense at all.

That's confused and more, it makes servers to exhaust it quata.