Gem 39 - compiler specific?

[Maciej Sobczak <see.my.homepage@gmail.com>]

Consider:

http://www.adacore.com/2008/06/09/gem-39/

The example code performs Unchecked_Conversion between addresses of
two different array types.
As far as I understand, there is no standard provision for arrays to
occupy contiguous memory space (and not even for the alignment of
their components) and such a conversion relies heavily on the
assumption that arrays can be "overlaid" by plain address
reinterpretation.

Still, this technique is quite attractive. What is the chance (in
practice) to hit the compiler that does not get it "right"?

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com

Database Access Library for Ada: www.inspirel.com/soci-ada