From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Compiler doesn't respect 'Size for atomic object
Date: Wed, 20 Dec 2017 12:35:51 +0000
Organization: A noiseless patient Spider
Message-ID: <lyy3lxfufs.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="47d826f47b613d695456d8f7d5ba85c7";
	logging-data="27250"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18gjQRva1HC4wengIlpMKOplczb32PDbE4="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:uHfZRWGq278Vv2bBqSEk3+SUWLU=
	sha1:TPIKs8bKr9jM6pH6m7tAzadh/8Q=
Xref: reader02.eternal-september.org comp.lang.ada:49548
Date: 2017-12-20T12:35:51+00:00
List-Id: <comp.lang.ada>

The code below is an abstract of one for a Cortex-M processor; it
generates an external interrupt, useful for testing.

All released GNAT compilers I have access to and which accept the syntax
(GPL 2015+, FSF GCC 5+) produce the result that the hardware needs and
that I intended, i.e. 16#1#.

GCC 8, which is still under development, produces 16#FFFFFF01#, i.e. has
only written the least significant byte.

I'm pretty sure this is an error, rather than an unhelpful
interpretation: can anyone confirm one way or the other, before I raise
a bug, please?

========================================================================
with Ada.Text_IO;
with Interfaces;

procedure Full_Word is

   Register : Interfaces.Unsigned_32;

   type Interrupt_ID is range 0 .. 44;

   procedure Trigger_Interrupt (IRQ : Interrupt_ID) is
      --  The Software Trigger Interrupt Register.
      NVIC_STIR : Interrupt_ID
      with
        Import,
        Atomic,
        Size    => 32,
        Address => Register'Address;

   begin
      NVIC_STIR := IRQ;                   -- h/w requires 32-bit write
   end Trigger_Interrupt;

   package Unsigned_32_IO
     is new Ada.Text_IO.Modular_IO (Interfaces.Unsigned_32);

begin
   Register := 16#ffff_ffff#;
   Trigger_Interrupt (1);
   Unsigned_32_IO.Put (Register, Base => 16);
   Ada.Text_IO.New_Line;
end Full_Word;