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,9fb8e2af320d5b3e
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news2.google.com!news.glorb.com!news2.arglkargh.de!noris.net!newsfeed.hanau.net!newsfeed01.sul.t-online.de!t-online.de!newsfeed01.chello.at!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Bus error
From: Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>
In-Reply-To: <1182954233.788124.17920@c77g2000hse.googlegroups.com>
References: <1182954233.788124.17920@c77g2000hse.googlegroups.com>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Message-ID: <1182959120.13096.8.camel@kartoffel>
Mime-Version: 1.0
X-Mailer: Evolution 2.10.1 
Date: Wed, 27 Jun 2007 17:45:20 +0200
Organization: Arcor
NNTP-Posting-Date: 27 Jun 2007 17:45:01 CEST
NNTP-Posting-Host: 98e658b6.newsspool2.arcor-online.net
X-Trace: 
 DXC=?Ro7VK@R=<D0YVY]kmLTlDA9EHlD;3YcB4Fo<]lROoRA8kF<OcfhCOK=7VIJ:OSk\J=kbmW`a1fGGC`2T@AUZfCKee47WkB:6\J
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:16321
Date: 2007-06-27T17:45:01+02:00
List-Id: <comp.lang.ada>

On Wed, 2007-06-27 at 07:23 -0700, Maciej Sobczak wrote:
> I have found a problem with my compiler:
> 
> -- a.ads
> with Ada.Finalization;
> package A is
> 
>    type T is tagged limited private;
> 
>    function Make return T;

As it happens, the masters--who are probably all in Geneva now--
have been discussing a related issue on Ada_Comment.
The archives might have some hints.

> $ gnatmake hello
> gcc -c hello.adb
> gcc -c a.adb
> gnatbind -x hello.ali
> gnatlink hello.ali
> $ ./hello
> Bus error
> $

(Do you get a different effect when you try compiling
with -O -g -a -gnata -gnato?)

> GNAT version: 4.3.0 20070527 (experimental)
> 
> BTW - is the code correct at all? I'm worried about A.Make in
> particular.

Procedure Make should be fine as the object returned is to be
built in place. (As per Bob Duff's "gems" on limited aggregates
and other sources.)