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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,cd24ffa36ebe3ef6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-05 11:20:28 PST
Path: 
 nntp.gmd.de!stern.fokus.gmd.de!ceres.fokus.gmd.de!zib-berlin.de!news.mathworks.com!panix!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: banner@cs.nyu.edu (Bernard Banner)
Newsgroups: comp.lang.ada
Subject: Re: debugging GNAT programs
Date: 5 Mar 1995 14:20:28 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3jd2ts$91@gnat.cs.nyu.edu>
References: <3j8q5cINNsdr@RA.DEPT.CS.YALE.EDU>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1995-03-05T14:20:28-05:00
List-Id: <comp.lang.ada>

griest-tom@cs.yale.edu (Tom Griest) writes:
: __gnat_raise is only called for unhandled exceptions (which was
: the original question).  If you want to catch any exception you 
: have to also set a breakpoint on the longjmp routine.  
: (I'm not sure that this isn't used for things other than just 
: exception propogation, but it seems to work reliably.)
: 
: -Tom

__gnat_raise is called on every exception raised whether it is handled or
not. __gnat_unhandled_exception is called only for unhandled exceptions.

Bernard Banner
banner@cs.nyu.edu