From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada 2012 : aliased parameters ?
Date: Wed, 30 Mar 2011 14:44:33 -0500
Date: 2011-03-30T14:44:33-05:00 [thread overview]
Message-ID: <in0175$nu5$1@munin.nbi.dk> (raw)
In-Reply-To: imtscf$c6u$1@munin.nbi.dk
"Randy Brukardt" <randy@rrsoftware.com> wrote in message
news:imtscf$c6u$1@munin.nbi.dk...
...
> There is are a couple of small holes that occur by using
> Unchecked_Deallocation, but no one is going to do that by accident, and if
> there is any sort of management (or sense) on a project, the end-around
> will be easily detected.
I should mention that there is a relatively easy way to defeat these
accessibility checks: simply use .all'Unchecked_Access. More generally, any
unchecked programming can of course default the protection. Nothing new
about that - that's true of any Ada construct. But of course it is obvious
that unchecked programming is being used, so again that is a management
problem.
Randy.
next prev parent reply other threads:[~2011-03-30 19:44 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-28 11:47 Ada 2012 : aliased parameters ? Yannick Duchêne (Hibou57)
2011-03-28 11:56 ` Dmitry A. Kazakov
2011-03-29 3:04 ` Randy Brukardt
2011-03-28 11:56 ` AdaMagica
2011-03-29 18:22 ` Florian Weimer
2011-03-29 18:34 ` Shark8
2011-03-29 19:35 ` Florian Weimer
2011-03-30 0:12 ` Randy Brukardt
2011-03-29 3:16 ` Randy Brukardt
2011-03-29 7:34 ` Maciej Sobczak
2011-03-30 0:09 ` Randy Brukardt
2011-03-30 19:44 ` Randy Brukardt [this message]
2011-04-23 18:47 ` Florian Weimer
2011-04-25 7:19 ` Randy Brukardt
2011-04-28 19:47 ` Florian Weimer
2011-04-28 23:54 ` Randy Brukardt
2011-04-30 18:32 ` Florian Weimer
2011-04-30 23:46 ` 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