From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: CONSTRAINT ERROR: erroneous memory access
Date: Sun, 7 Jun 2020 16:47:07 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <rbiulb$l9u$1@dont-email.me>
References: <d0ff83ad-a216-4fd6-b0ff-ef51a7c27d48o@googlegroups.com>
 <rbi9r1$fuc$1@dont-email.me> <ly8sgz2n3w.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 7 Jun 2020 14:47:07 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="b243c502e7d88efa94d0bed85751046f";
	logging-data="21822"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+KlQVGPHaG9s6tcGotpM2/C9sajMmy+uI="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.8.0
Cancel-Lock: sha1:BejITkkA4pOFoXCMcCw8++4LLVo=
In-Reply-To: <ly8sgz2n3w.fsf@pushface.org>
Content-Language: en-US
X-Mozilla-News-Host: news://news.eternal-september.org
Xref: reader01.eternal-september.org comp.lang.ada:59007
Date: 2020-06-07T16:47:07+02:00
List-Id: <comp.lang.ada>

On 6/7/20 12:20 PM, Simon Wright wrote:
> 
> Not quibbling with -fstack-check, but why the others?
> 
> -gnata, enable assertions: the RM doesn't say what the effect of an
> assertion should be absent any Assertion_Policy, and if
> Assertion_Policy is present it overrides the absence of -gnata

While it's true that the default assertion policy is implementation defined, the 
Ada Way (TM) is for all checks to be active by default, so I'm correcting the 
ARM. Also, it doesn't make sense to put in checks and not check them.

> -gnatn, enables pragma Inline across units: Inline only specifies that
> inline expansion is desired.

While inlining is always at the compiler's discretion, the ARM makes no 
distinction between inlining within a unit and inlining across units, so an Ada 
compiler doesn't, either.

-- 
Jeff Carter
"How'd you like to hide the egg and gurgitate
a few saucers of mocha java?"
Never Give a Sucker an Even Break
101