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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!1.eu.feeder.erje.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: =?UTF-8?Q?Re:_How_to_get_Ada_to_=e2=80=9ccross_the_chasm=e2=80=9d?=
 =?UTF-8?Q?=3f?=
Date: Sun, 6 May 2018 18:18:52 +0300
Organization: Tidorum Ltd
Message-ID: <fl8kmsF980tU1@mid.individual.net>
References: <878t9nemrl.fsf@nightsong.com>
 <d64089d4-af9d-43d9-b72b-a73d3fff1f00@googlegroups.com>
 <bf8f8498-f017-47dd-bf1f-188c7ceb5b28@googlegroups.com>
 <ed222259-b860-41a1-82ad-62f93d941faf@googlegroups.com>
 <fl3pbpF73fsU1@mid.individual.net>
 <r0bqedllrrbsihtoplg5qccap3ljc4rikl@4ax.com> <lya7tezfty.fsf@pushface.org>
 <87h8nl50rw.fsf@nightsong.com> <fl6i3lFprddU1@mid.individual.net>
 <87d0y97lda.fsf@nightsong.com> <pcleu0$cjp$1@dont-email.me>
 <874ljl7jyb.fsf@nightsong.com> <oilsedp3bun3hllbcqgn0fqjfs6r81s0rg@4ax.com>
 <ly1sepyzxu.fsf@pushface.org> <fl7t87F42h1U1@mid.individual.net>
 <lywowhxf6b.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net TkMJ7HQAvSyPlJlM1bd5PA1s42PJgTT0xHX/YAfpCtWAJjlzwL
Cancel-Lock: sha1:e5KRKqaZ/Iv7UNFdemGmmalYU+I=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0)
 Gecko/20100101 Thunderbird/45.8.0
In-Reply-To: <lywowhxf6b.fsf@pushface.org>
Xref: reader02.eternal-september.org comp.lang.ada:52039
Date: 2018-05-06T18:18:52+03:00
List-Id: <comp.lang.ada>

On 18-05-06 13:16 , Simon Wright wrote:
> Niklas Holsti <niklas.holsti@tidorum.invalid> writes:
>
>> On 18-05-06 11:02 , Simon Wright wrote:
>>> Dennis Lee Bieber <wlfraed@ix.netcom.com> writes:
>>>
>>>> 	And for the avionics I have been exposed to -- you do not use
>>>> constructs that require the secondary stack... Same reason -- size
>>>> not known until run-time.
>>>
>>> Just for interest, I just rebuilt AdaCore's Certyflie with the
>>> restriction No_Secondary_Stack; no problems.
>>
>> Just from curiosity: did you check that the linked program did not
>> include any secondary-stack functions? I've found that some versions
>> of GNAT Pro for the SPARC/LEON do not fully obey the
>> No_Secondary_Stack restriction in the gnat.adc file.
>
> The map file only shows that s-secsta was linked because of
> s-tarest. Maybe the map only shows the first reason for linking. I see
> that although the main crazyflie application doesn't use the secondary
> stack, the support library does; and sure enough, it's string
> catenation, in one place, in the logging subsystem. Could have been
> avoided by careful assignment to slices of a fixed string.

So GNAT did not complain about the support library violating 
No_Secondary_Stack?

Perhaps someone should report this to AdaCore... I'll put it on my 
to-do-list, for the SPARC/LEON compiler case.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .