From: egilhh <egilhovik@hotmail.com>
Subject: Re: Allocators and the requirement to raise `Storage_Error`
Date: Fri, 3 May 2013 00:31:56 -0700 (PDT)
Date: 2013-05-03T00:31:56-07:00 [thread overview]
Message-ID: <0cd370b8-d798-4080-b346-00b1527362e8@googlegroups.com> (raw)
In-Reply-To: <op.wwhttfz8ule2fv@cardamome>
On Friday, May 3, 2013 7:35:29 AM UTC+2, Hibou57 (Yannick Duchêne) wrote:
> ARM 2012 @4.8 says:
>
>
>
> http://www.ada-auth.org/standards/12rm/html/RM-4-8.html
>
> > For an allocator with a subtype_indication, the
>
> > subtype_indication shall not specify a null_exclusion
>
This Ada Issue may clear things up for you:
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0104-1.txt?rev=1.4
Basically, you have an access to an access, allocated with the default value,
which is null for non-initialized access values.
--
~egilhh
next prev parent reply other threads:[~2013-05-03 7:31 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-03 5:35 Allocators and the requirement to raise `Storage_Error` Yannick Duchêne (Hibou57)
2013-05-03 7:31 ` egilhh [this message]
2013-05-03 8:36 ` Yannick Duchêne (Hibou57)
2013-05-03 9:33 ` Yannick Duchêne (Hibou57)
2013-05-03 23:17 ` 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