From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: little precision about anonymous access types
Date: Thu, 17 May 2018 16:20:14 -0500
Date: 2018-05-17T16:20:14-05:00 [thread overview]
Message-ID: <pdkrme$n40$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 1fbd0763-bed4-49f5-a1c8-51a634e89eb2@googlegroups.com
The better solution here is restriction No_Anonymous_Allocators (see
H.4(8.1/3)). Using that restriction helps because it forces all allocation
to named access types (for which you can do deallocation in all of the
normal ways). This is just to note that Ada does have ways to mitigate this
problem (I noted another one, pragma Default_Storage_Pool, in a previous
message). The annoyance is that these things aren't the default.
Randy.
"Mehdi Saada" <00120260a@gmail.com> wrote in message
news:1fbd0763-bed4-49f5-a1c8-51a634e89eb2@googlegroups.com...
I may add, that the craziest thing was to allow the very possibly of using
allocators with non-discriminant/non-parameter anonymous access (though I
have no idea, and it's not easy to find, where and for how long goes things
like values like my_func(new something', ...) types. Their existence, that
forbid and uselessness aside, it wouldn't be that much of a loophole. At
least provide a way to bind the objects' life time to something, dudes...
next prev parent reply other threads:[~2018-05-17 21:20 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-19 0:37 little precision about anonymous access types Mehdi Saada
2018-03-19 1:08 ` Mehdi Saada
2018-03-19 1:18 ` Mehdi Saada
2018-03-19 14:51 ` AdaMagica
2018-03-19 22:40 ` Randy Brukardt
2018-03-20 17:49 ` G. B.
2018-03-20 23:56 ` Mehdi Saada
2018-03-21 22:46 ` Randy Brukardt
2018-05-15 0:20 ` Mehdi Saada
2018-05-15 0:28 ` Mehdi Saada
2018-05-15 21:48 ` Randy Brukardt
2018-05-16 8:14 ` Mehdi Saada
2018-05-16 8:23 ` Mehdi Saada
2018-05-17 21:20 ` Randy Brukardt [this message]
2018-05-17 21:17 ` Randy Brukardt
2018-05-17 21:36 ` J-P. Rosen
2018-05-18 7:44 ` Dmitry A. Kazakov
2018-05-15 21:44 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox