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!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP>
Newsgroups: comp.lang.ada
Subject: Re: Help needed - "Storage_Error stack overflow or erroneous memory
 access"
Date: Mon, 19 Jun 2017 13:01:11 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <oi8hun$i1n$1@dont-email.me>
References: <5a0d60e6-c713-4a83-8c98-81a2af68e75e@googlegroups.com>
 <oi5ldc$d9t$1@dont-email.me>
 <93822692-767f-4546-8e39-9c4b7ceab3e6@googlegroups.com>
 <291a8209-d893-4822-896d-32727d5c9509@googlegroups.com>
 <oi64e9$mji$1@dont-email.me>
 <7132e1a3-6c36-4f53-94d5-f51b18373e20@googlegroups.com>
 <1f3089a8-a304-4be3-ab1d-bff5c5b75a18@googlegroups.com>
 <d02780f5-a4f5-4681-a08a-4fc04fda7b67@googlegroups.com>
Injection-Date: Mon, 19 Jun 2017 13:01:11 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="e8736ea86298d4aa6f169b6e94098b44";
	logging-data="18487"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18Ljz8G9VB8zh8N+oyMlJ3xtaP18kXXZSk="
User-Agent: slrn/0.9.8.1 (VMS/Multinet)
Cancel-Lock: sha1:Ch+kun/mwX+CFezVJNFzuMVXZkU=
Xref: news.eternal-september.org comp.lang.ada:47013
Date: 2017-06-19T13:01:11+00:00
List-Id: <comp.lang.ada>

On 2017-06-19, reinert <reinkor@gmail.com> wrote:
> OK, for those having interest:
>

I certainly do, but ran out of additional ideas to suggest.

> I have somehow sorted out the problem. 
> The lesson learned is that I may have done something wrong when using "with
> invariant .." and the compiler error message could be more helpful for
> programmers like me :-) 
>

Actually, what you appear to have found is a compiler bug; compilers
should never crash because of problems in the code they are compiling.

It might be worthwhile reporting it to Adacore.

Simon.

-- 
Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
Microsoft: Bringing you 1980s technology to a 21st century world