Re: SPARK question

[Simon Wright <simon@pushface.org>]

Shark8 <onewingedshark@gmail.com> writes:

> On Monday, August 27, 2018 at 8:10:13 AM UTC-6, Simon Wright wrote:
>> With SPARK CE 2018, I'm seeing
>> 
>>    commander.ads:103:08: high: "memory accessed through objects of
>>    access type" must be a global Output of "Commander_Watchdog"
>> 
>> Google tells me nothing, any clues here? (and, obvs, where _should_ I be
>> asking?)
>
> I think it's saying that you need a "Global" aspect on
> "Commander_Watchdog", see
> https://blog.adacore.com/spark-2014-rationale-data-dependencies -- in
> particular:
>
>    procedure Add (X, Y : in Integer) with
>      Global => (Output => Global_Variable);

Yes, but! similar messages say e.g.

   commander.ads:103:08: high: "Current_System_Status" must be a global
   Output of "Commander_Watchdog"

and I can't see any "objects of access type" used in Commander_Watchdog.