2008-05-20 Thomas Quinot <quinot@adacore.com>
authorThomas Quinot <quinot@adacore.com>
Tue, 20 May 2008 12:46:31 +0000 (14:46 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 20 May 2008 12:46:31 +0000 (14:46 +0200)
commit25e9b6fe27d7665b70f22067411328f07e8ae9ff
tree61bf6a062cb91259e088728d5ed1c1fc9574453b
parent5b7dd52da8cf43abfab1a2703c70fcb07f0a5278
2008-05-20  Thomas Quinot  <quinot@adacore.com>

* exp_dist.adb
(GARLIC_Support.Add_RACW_Read_Attribute): When a zero value is received,
and the RACW is null-excluding, raise CONSTRAINT_ERROR instead of
assigning NULL into the result, to avoid a spurious warning.
(Add_RACW_Features, case Same_Scope): Add assertion that designated type
is not frozen.
(Add_Stub_Type): Set entity flag Is_RACW_Stub_Type on generated stub
type.
(Build_From_Any_Function, Build_To_Any_Function,
Build_TypeCode_Function): For a type that has user-specified stream
attributes, use an opaque sequence of octets as the representation.

From-SVN: r135626
gcc/ada/exp_dist.adb