From: Simon Wright <simon@pushface.org>
Subject: Re: Precondition on protected entry
Date: Fri, 20 Jan 2017 16:54:44 +0000
Date: 2017-01-20T16:54:44+00:00 [thread overview]
Message-ID: <lyshodk6y3.fsf@pushface.org> (raw)
In-Reply-To: lywphdgzsr.fsf@pushface.org
Simon Wright <simon@pushface.org> writes:
> Stephen Leake <stephen_leake@stephe-leake.org> writes:
>
>> On Tuesday, October 11, 2016 at 3:29:47 PM UTC-5, Simon Wright wrote:
>>> I have this (Ravenscar, STM32F4) code:
>>>
>>
>> I modified it slightly to compile with Windows GNAT GPL 2016:
> [...]
>> gnatmake timer_handler.adb
>>
>> no errors.
>>
>> So this looks like a problem with the cross target only?
>
> Most likely pragma Profile (Ravenscar).
>
> Will report the bug, thanks for the check.
I managed to forget this, and have just reported the problem.
It turns out that the problem shows up if assertions are enabled
(-gnata).
next prev parent reply other threads:[~2017-01-20 16:54 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-10-11 17:02 Precondition on protected entry Simon Wright
2016-10-11 23:37 ` Dennis Lee Bieber
2016-10-12 7:19 ` Simon Wright
2016-10-12 16:07 ` Stephen Leake
2016-10-12 18:58 ` Simon Wright
2017-01-20 16:54 ` Simon Wright [this message]
2017-01-21 17:51 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox