Re: Forcing GNAT to use 32-bit load/store instructions on ARM?

[MatthiasR <MatthiasR@invalid.invalid>]

Latest GNAT Pro emits a warning on accesses to components of atomic records:

http://www.adacore.com/developers/development-log/NF-73-M715-002-gnat/

At least, one knows that something can go wrong here...


Some background story:
We stumbled upon this problem some time ago. After I had realised that the 
RM doesn't give any guarantees in this case (at least the RM can be 
interpreted in this way...), I filed an enhancement request to Adacore. I 
proposed to add a (implementation specific, since there isn't anything in 
standard and I didn't want to wait until Ada 202x) pragma and/or aspect 
which should enforce a specific access width.

That's basically the same as Simon Clubleys proposal in his second issue for 
'Ada-comments'.

After some discussions, the proposal was rejected, because
- there is a working way to solve the problem (the temporary variable)
- 'no one would know this implementation specific pragma/aspect'
- there is little chance to get this in the standard

The new warning is apparently the result of these discussions.


Matthias