Re: Pure, Storage_Size and Unchecked_Conversion

["Y.Tomino" <demoonlit@panathenaia.halfmoon.jp>]

gcc 4.1.2 and gcc 4.2.0 are different. The default mode of gcc 4.2.0
is Ada 2005.
And, Ada 2005 accepts access types with "for T'Storage_Size use 0" in
pure package.
"for T'Storage_Size use 0" means to disallow "new". T will be plain
address value, and has no side effect.
Please, see http://www.adaic.com/standards/05rm/html/RM-10-2-1.html

> Just guessing what your package is supposed to achieve,
> have you considered using System.Address_To_Access_Conversions?

System.Address_To_Access_Conversions fixes pointer type as access all.
Actually, I want to use the access constant, and expect inlining.

--
YT http://panathenaia.halfmoon.jp/alang/ada.html