Re: gnat/ppc and a32 blt transfers

["DuckE" <nospam_steved94@home.com>]

Should't

 pragma Atomic( variable );

cause accesses to a variable to be performed as a single operation?

While I would not expect this to work for the component of a packed boolean
array, since  element is not individually addessable (on most
architectures), I would expect this functionality using types that are
individually addressable.

For example, on an architecture where integers are 32 bit values I would
expect the following declarations:

  memValue : Integer;
  FOR memValue'ADDRESS USE
System.Storage_Elements.To_Address( 16#FFFE0000# );
  PRAGMA Atomic( memValue );

To generate code that uses 32 bit accesses to memValue.

Since GNAT supports Annex C, and this behaviour is described in C.6.15, I
would expect this behavior.

Am I missing something?

SteveD