From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Return unconstrained types in ZFP
Date: Tue, 04 Dec 2012 03:40:47 -0500
Date: 2012-12-04T03:40:47-05:00 [thread overview]
Message-ID: <85624ius4w.fsf@stephe-leake.org> (raw)
In-Reply-To: 85boebuxtm.fsf@stephe-leake.org
Stephen Leake <stephen_leake@stephe-leake.org> writes:
> <snip>
>
> This way, you don't need to implement the runtime code.
>
> It is more of a burden for the user, but that's the point of ZFP; it's
> easier to implement, harder to use.
There should be a Restriction pragma setting that can warn about code
that requires a runtime. There doesn't seem to be one in LRM 13.12. Ah;
there are a bunch more in Annex D.
Apparently the only list of restrictions in GNAT is in the source code
(not a manual); lib/gcc/i686-pc-mingw32/4.5.4/adainclude/s-rident.ads
The following seem likely to help:
No_Implicit_Heap_Allocations
No_Secondary_Stack
No_Tasking
--
-- Stephe
next prev parent reply other threads:[~2012-12-05 7:14 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-12-02 2:38 Return unconstrained types in ZFP Rego, P.
2012-12-02 3:29 ` Shark8
2012-12-04 1:08 ` Rego, P.
2012-12-02 18:13 ` Luke A. Guest
2012-12-04 0:59 ` Rego, P.
2012-12-02 18:27 ` rrr.eee.27
2012-12-04 0:54 ` Rego, P.
2012-12-03 12:25 ` Stephen Leake
2012-12-04 1:15 ` Rego, P.
2012-12-04 8:40 ` Stephen Leake [this message]
2012-12-04 13:21 ` Britt
2012-12-05 3:34 ` Stephen Leake
2012-12-05 13:48 ` Britt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox