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.118.198 with SMTP id ko6mr30128015pab.28.1433845288180;
        Tue, 09 Jun 2015 03:21:28 -0700 (PDT)
X-Received: by 10.140.106.247 with SMTP id e110mr238726qgf.7.1433845288133;
 Tue, 09 Jun 2015 03:21:28 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!h15no1256653igd.0!news-out.google.com!4ni74qgh.1!nntp.google.com!z60no151046qgd.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 9 Jun 2015 03:21:27 -0700 (PDT)
In-Reply-To: <6d5f352b-d886-4cd4-8f88-4116fe34129a@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=193.163.1.105;
 posting-account=Srm5lQoAAAAEMX9rv2ilEKR6FDPapmSq
NNTP-Posting-Host: 193.163.1.105
References: <6d5f352b-d886-4cd4-8f88-4116fe34129a@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c4d5f87f-e311-463b-a8f8-16926636d283@googlegroups.com>
Subject: Re: gnat compiler issues with a partial build
From: Mark Lorenzen <mark.lorenzen@gmail.com>
Injection-Date: Tue, 09 Jun 2015 10:21:28 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:26234
Date: 2015-06-09T03:21:27-07:00
List-Id: <comp.lang.ada>

On Thursday, June 4, 2015 at 1:12:27 PM UTC+2, jan.de...@gmail.com wrote:

> jan@janDell:~/MMS/programs-KERNEL/ec-master/obj$ nm memory_copy.o
>                  U __gnat_rcheck_CE_Access_Check
> 0000000000000000 T memcpy
> 0000000000000000 D memory_copy_E
> -------------------------------------
> 
> They are all related to the Exception machinery and refer to about 4 or 5 symbols in "Ada.Exeptions" in the standard "x86 Linux" runtime.
> They are caused by any construct where the compiler suspects that there might be a runtime error under certain conditions. And they have to do with exception propagation I suspect, from looking at a disassembly.
> Now in an zfp runtime, any standard runtime references should be switched off in the compiler, or else an alternative should be supplied in the custom runtime. But both ravenscar and zfp (ex Adacore) do not cater for this eventuality.
> 
> Needless to say that I have been through all exception related pragmas and restrictions. And I did make a 'gnat.adc' file that is duly noted in the project file. So that any pragmas are global.

I don't know what you are trying to achieve, but it seems to me, that you want to build your module with a ZFP run-time that you don't have...

Can you build your module with run-time checks disabled? This should ensure that the access check code is not emitted and therefore does not refer to the undefined symbol __gnat_rcheck_CE_Access_Check.

Regards,

MarkL