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!mx05.eternal-september.org!feeder.eternal-september.org!gegeweb.org!news.ecp.fr!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Extended Exceptions and other tweaks.
Date: Mon, 6 May 2013 19:39:32 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <km9ig7$ean$1@munin.nbi.dk>
References: 
 <b3e88b76-2d2e-45e3-abeb-823f82971252@googlegroups.com><kj7nrv$nq$1@dont-email.me><39102c40-a4e3-4991-a94a-d7d51856c83d@googlegroups.com><kjcr5a$1hk$2@dont-email.me><3c252206-989c-40c6-838f-6a37eeac9349@googlegroups.com><ae7f8d6d-2f3d-4bb0-b22a-ebbfcf178172@googlegroups.com><kju5mf$bj8$1@dont-email.me>
 <kls8v6$70i$1@dont-email.me><klse6e$o9o$1@munin.nbi.dk>
 <km5k24$3v9$1@dont-email.me>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1367887175 14679 69.95.181.76 (7 May 2013 00:39:35 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 7 May 2013 00:39:35 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:15387
Date: 2013-05-06T19:39:32-05:00
List-Id: <comp.lang.ada>

"Brian Drummond" <brian@shapes.demon.co.uk> wrote in message 
news:km5k24$3v9$1@dont-email.me...
...
> The compiler apparently agrees with my understanding of
> "pragma Restrictions (No_Exception_Propagation)" which is:

This is not an Ada-language defined pragma, so...

> Now is there a reasonable explanation that I have missed, or is this
> worth reporting as a compiler bug?

...it can do anything the implementer desires. Meaning that formally at 
least, there is no grounds for a bug no matter what does. Whether it is 
doing what was intended is another question altogether.

                                                Randy.