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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.66.63.102 with SMTP id f6mr10489716pas.19.1435200967377;
 Wed, 24 Jun 2015 19:56:07 -0700 (PDT)
X-Received: by 10.140.105.10 with SMTP id b10mr648203qgf.26.1435200967118;
 Wed, 24 Jun 2015 19:56:07 -0700 (PDT)
Path: 
 buffer1.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!h15no8216559igd.0!news-out.google.com!k20ni3219qgd.0!nntp.google.com!z60no3168695qgd.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 24 Jun 2015 19:56:07 -0700 (PDT)
In-Reply-To: <f5d4d901-fb45-4f83-8661-1f8551502bd1@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=149.32.224.36;
 posting-account=Qh2kiQoAAADpCLlhT_KTYoGO8dU3n4I6
NNTP-Posting-Host: 149.32.224.36
References: <9894cde7-2cf8-4060-be65-857812ad7b09@googlegroups.com>
 <mm7310$4jk$1@dont-email.me>
 <17436268-aceb-461f-bdcf-eee8436cd0e6@googlegroups.com>
 <mm9e4f$n4e$2@dont-email.me>
 <fa1fea48-bdb6-446c-8a41-a2f34a55ed16@googlegroups.com>
 <d65db4db-ada4-4705-8cec-37a994536f8b@googlegroups.com>
 <86y4jaqzdx.fsf@stephe-leake.org>
 <dddbc06b-c30f-4923-85b6-f3a378982238@googlegroups.com>
 <b6dfc2ca-979c-4f16-8eca-8d4439c84db8@googlegroups.com>
 <edda2110-5468-4c8a-8679-4f1edf96b01e@googlegroups.com>
 <01ac6d30-fa93-4868-aa31-3dbec93e9a21@googlegroups.com>
 <c8272b03-abf4-4aee-b828-5b616ce7700e@googlegroups.com>
 <9b539536-f385-434d-ad0c-a48e8877e23b@googlegroups.com>
 <99d819fa-148e-4e20-b7e1-c509b16ca093@googlegroups.com>
 <lypp4k68g0.fsf@pushface.org>
 <f5d4d901-fb45-4f83-8661-1f8551502bd1@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e1b9b020-6841-49d4-b7e7-a71f628874a9@googlegroups.com>
Subject: Re: What do you think about this?
From: Anh Vo <anhvofrcaus@gmail.com>
Injection-Date: Thu, 25 Jun 2015 02:56:07 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: number.nntp.giganews.com comp.lang.ada:193776
Date: 2015-06-24T19:56:07-07:00
List-Id: <comp.lang.ada>

On Wednesday, June 24, 2015 at 3:59:43 PM UTC-7, Laurent wrote:
> On Thursday, 25 June 2015 00:35:44 UTC+2, Simon Wright  wrote:
> > Anh Vo <anhvofrcausatgmail.com> writes:
> > 
> > > Make sure to pass switch -E to your build option.
> > 
> > This -E is a gnatbind option.
> > 
> > Either, on the command line
> > 
> >   $ gprbuild <existing arguments> -bargs -E
> > 
> > (-bargs introduces arguments to gnatbind) or in your GPR
> > 
> >    package Binder is
> >       for Default_Switches ("ada") use ("-E");
> >    end Binder;
> > 
> > I'm pretty sure you need to have compiled for debug (-g) as well.
> > 
> > (What machine are you building on? getting and interpreting stack dumps
> > is less straightforward on Macs than on Linux or Windows)
> 
> ok added to gpr . -g is active. Of course I am building on Mac. On Linux would be too easy and windows the temptation is too big to launch a game instead of GPS.
> 
> Houston we have a problem: Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
> Message: failed precondition from common_defs_bci.ads:19
> Load address: 0x1070dc000
> Call stack traceback locations:
> 0x107111931 0x1070e35f1 0x1070ddf8c 0x1070de763 0x1070de147 0x1070df063
> 
> 0x0000000107111931
> 0x00000001070E35F1
> 0x00000001070DDF8C
> 0x00000001070DE763
> 0x00000001070DE147
> 0x00000001070DF063

I could see that addr2line tool was not bundled with GNAT for MAC OS. Does this tool exist in MAC OS itself at all? I am afraid that the answer is no.