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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8f7b0ead76cf5827
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!newsfeed.freenet.de!newsfeed01.chello.at!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Exception propagation with optimization flags
From: Georg Bauhaus <bauhaus@futureapps.de>
In-Reply-To: <1159968673.163378.15830@m7g2000cwm.googlegroups.com>
References: <1159913899.620229.69760@m73g2000cwd.googlegroups.com>
	 <uwt7gs1fd.fsf@stephe-leake.org>
	 <1159968673.163378.15830@m7g2000cwm.googlegroups.com>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Organization: #
Message-ID: <1159974554.16821.16.camel@localhost>
Mime-Version: 1.0
X-Mailer: Evolution 2.6.1 
Date: Wed, 04 Oct 2006 17:09:15 +0200
NNTP-Posting-Date: 04 Oct 2006 17:02:35 CEST
NNTP-Posting-Host: 68feb327.newsspool2.arcor-online.net
X-Trace: 
 DXC=RiP8_[>Y1:o_0Po7BmQ3]lA9EHlD;3Ycb4Fo<]lROoRa4nDHegD_]Reo28\`FgJmPoTiQOITnENobFU`4:K;4eRg\nC>`LU\TTb=iSFajFBHei
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:6865
Date: 2006-10-04T17:02:35+02:00
List-Id: <comp.lang.ada>

On Wed, 2006-10-04 at 06:31 -0700, ldb wrote:
> Stephen Leake wrote:
> > "ldb" <ldb_nospam@hotmail.com> writes:
> >
> > > Can someone explain why this particular combinations of build flags
> > > causes exceptions to stop propagating.

> gnatmake -fomit-frame-pointer -O2 super.adb (doesn't work)
> gnatmake -fomit-frame-pointer -O1 super.adb (works)
> gnatmake -O2 super.adb (works)
> 

And, earlier,
> And, if anyone is an expert, can you explain to me the connection (if
> there is one) with "libunwind-exceptions" in my gcc ./configure.

A good place to ask is probably the GCC mailing list. Specific
GCC configurations and their effects on front-ends are probably
best known there. A vanilla GCC 42 with Ada enabled compiles
your programs such that it prints/handles exceptions as
expected.


-- Georg