comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon.j.wright@mac.com>
Subject: Re: Project file - suggestions/help needed.
Date: Sun, 03 Aug 2008 23:09:38 +0100
Date: 2008-08-03T23:09:38+01:00	[thread overview]
Message-ID: <m2r695eonx.fsf@mac.com> (raw)
In-Reply-To: 2Hllk.282253$yE1.253487@attbi_s21

"Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org> writes:

> Ada, as described in the ARM, requires integer overflow checking
> (-gnato), raising Storage_Error if you bust the stack (-fstack-check),
> and dynamic elaboration checks (-gnatE). If you want cross-unit
> inlining, you need -gnatn.

I wasn't able to see where the RM requires stack checking? 8.5.4(8.1/1),
for example, mentions infinite recursion as a possibility (well, not
possible really of course!)



  reply	other threads:[~2008-08-03 22:09 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-08-03  8:00 Project file - suggestions/help needed Thomas
2008-08-03 10:41 ` Simon Wright
2008-08-03 11:03 ` Stephen Leake
2008-08-03 15:22 ` Gautier
2008-08-04 20:59   ` Colin_Paul_Gloster
2008-08-03 17:13 ` Jeffrey R. Carter
2008-08-03 22:09   ` Simon Wright [this message]
2008-08-04  9:17     ` Samuel Tardieu
2008-08-04 21:05   ` Colin_Paul_Gloster
2008-08-05  5:27     ` Thomas Locke
2008-08-13 21:56       ` DScott
2008-08-03 18:43 ` Gene
2008-08-04 14:24   ` Thomas Locke
2008-08-13 21:58     ` DScott
2008-08-04 20:54 ` Colin_Paul_Gloster
2008-08-05  5:26   ` Thomas Locke
2008-08-05  8:00     ` Pascal Obry
2008-08-05  8:10       ` Thomas Locke
2008-08-05  8:05     ` Jean-Pierre Rosen
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox