Volatile records containing an array

kevlar700 · December 4, 2023, 9:37pm

svd2ada generates volatile arrays.

e.g. IMR_MR_Field_Array

AdaCore/Ada_Drivers_Library/blob/e4e1148eb996d15adb9dac6f7b2e08012f52f8c0/arch/ARM/STM32/svd/stm32f429x/stm32_svd-exti.ads

--  This spec has been automatically generated from STM32F429x.svd

pragma Restrictions (No_Elaboration_Code);
pragma Ada_2012;
pragma Style_Checks (Off);

with HAL;
with System;

package STM32_SVD.EXTI is
   pragma Preelaborate;

   ---------------
   -- Registers --
   ---------------

   --  IMR_MR array
   type IMR_MR_Field_Array is array (0 .. 22) of Boolean
     with Component_Size => 1, Size => 23;

This file has been truncated. show original

There are two other options that I believe will work easily with spark. The .Val Hal.UInt32 or a record of booleans with different names instead of the array.

The array makes for simpler code. So before I switch to the value. Could anyone suggest how the Spark compatibility error may be avoided. Editing the svds isn’t ideal but possible. A function or procedure local instantiation would be ideal. Any ideas?

IMR1.MR.Arr(Var) := True;

error: volatile object cannot appear in this context. Spark RM 7.1.3 (10).

Thanks

kevlar700 · December 5, 2023, 4:23pm

Well. I feel stupid for not treating an array like any other value.

EXTI_Dev : STM32_SVD.EXTI.EXTI_Peripheral renames STM32_SVD.EXTI.EXTI_Periph;
IMR1_Arr : STM32_SVD.EXTI.IMR1_MR_Field_Array := EXTI_Dev.IMR1.Arr;
begin
IMR1_Arr (Index/Var in first message) := True;
EXTI_Dev.IMR1.Arr := IMR1_Arr;
...