From: Brad Moore <brad.moore@shaw.ca>
Subject: Re: silly ravenscar question
Date: Tue, 24 Feb 2015 08:30:49 -0700
Date: 2015-02-24T08:30:49-07:00 [thread overview]
Message-ID: <JO0Hw.787299$%M6.705545@fx13.iad> (raw)
In-Reply-To: <7ae5ec06-f5e3-4c5f-ac95-58b4bf1256a0@googlegroups.com>
On 15-02-24 04:23 AM, jan.de.kruyf@gmail.com wrote:
>
>>
>>> object_access := new object;
>>>
>>> but I can not free this object.
>>
>> Look for "Unchecked_Deallocation" in the LRM.
>
> but there is no "NO_Unchecked_Deallocation" in the Ravenscar profile (D.13.1)
No_Unchecked_Deallocation is not associated with the Ravenscar profile.
It is also obsolescent. If you want that restriction, you should use
No_Dependence(Ada.Unchecked_Deallocation) in new code.
You might be thinking of the restriction, No_Implicit_Heap_Allocations
which is part of the Ravenscar Profile. That restricts the runtime from
making allocations from the heap, but it does not restrict application
code from using the heap to allocate objecs.
Brad
next prev parent reply other threads:[~2015-02-24 15:30 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-02-24 9:07 silly ravenscar question jan.de.kruyf
2015-02-24 10:29 ` Dmitry A. Kazakov
2015-02-24 11:11 ` jan.de.kruyf
2015-02-24 13:38 ` Dmitry A. Kazakov
2015-02-25 8:48 ` jan.de.kruyf
2015-02-25 10:46 ` Dmitry A. Kazakov
2015-02-25 17:35 ` jan.de.kruyf
2015-02-25 17:55 ` Dmitry A. Kazakov
2015-02-26 8:48 ` jan.de.kruyf
2015-02-26 9:47 ` Dmitry A. Kazakov
2015-02-26 12:07 ` jan.de.kruyf
2015-02-26 19:09 ` jan.de.kruyf
2015-02-27 8:58 ` Dmitry A. Kazakov
2015-02-28 19:57 ` jan.de.kruyf
2015-03-01 9:27 ` Dmitry A. Kazakov
2015-03-03 8:42 ` jan.de.kruyf
2015-03-03 10:57 ` Dmitry A. Kazakov
2015-02-24 11:02 ` Jacob Sparre Andersen
2015-02-24 11:23 ` jan.de.kruyf
2015-02-24 13:43 ` Bob Duff
2015-02-25 9:07 ` jan.de.kruyf
2015-02-25 17:50 ` Simon Wright
2015-02-26 7:35 ` jan.de.kruyf
2015-02-26 14:57 ` Simon Wright
2015-02-26 19:36 ` jan.de.kruyf
2015-02-27 8:45 ` Simon Wright
2015-02-27 9:59 ` jan.de.kruyf
2015-02-28 9:57 ` Simon Wright
2015-02-28 19:08 ` jan.de.kruyf
2015-02-28 20:23 ` Simon Wright
2015-03-03 8:52 ` jan.de.kruyf
2015-02-24 15:30 ` Brad Moore [this message]
2015-02-24 16:52 ` Simon Wright
2015-02-25 3:01 ` Dennis Lee Bieber
2015-02-24 11:22 ` slos
2015-02-24 12:16 ` jan.de.kruyf
2015-02-24 11:24 ` J-P. Rosen
2015-02-24 12:10 ` jan.de.kruyf
2015-02-24 13:58 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox