Re: Representation clauses and side-efects on STM32F411 ravenscar runtime

[Simon Wright <simon@pushface.org>]

Frédéric Praca <frederic.praca@free.fr> writes:

> Yes, I've done this later in the code defining the whole register :
> USART1 : USART_Registers with Volatile,
>      Address => System'To_Address (USART1_Base);

I wrote a script[1] to convert the output of -fdump-ada-spec on
stm32f429xx.h into something more useful, and I made the record
definitions Volatile rather than the object declarations. I can't now
remember why .. ah, the log says that -fdump-ada-spec didn't handle the
case where record components were marked volatile (_IO) in the C source,
so defining the whole record as Volatile was the next step.

[1] https://sourceforge.net/p/stm32f4-gnat-rts/code/ci/default/tree/stm32f429i-disco-bsp/transform.sed