exp_dist.ads, [...] (Make_Transportable_Check): New subprogram (GARLIC_Support.Build_...
authorThomas Quinot <quinot@adacore.com>
Wed, 6 Jun 2007 10:26:39 +0000 (12:26 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Jun 2007 10:26:39 +0000 (12:26 +0200)
commitc3d593c9d3e2716097a4feb03d16c92ba35f3fe7
treed395727268ae8ec3c8e5b770e57e0cc3ec343da2
parent7853d9342541e5d4e125304b6bcc595e55698811
exp_dist.ads, [...] (Make_Transportable_Check): New subprogram (GARLIC_Support.Build_Subprogram_Receiving_Stubs...

2007-04-20  Thomas Quinot  <quinot@adacore.com>

* exp_dist.ads, exp_dist.adb (Make_Transportable_Check): New subprogram
(GARLIC_Support.Build_Subprogram_Receiving_Stubs,
PolyORB_Support.Build_Subprogram_Receiving_Stubs):
For a remote call to a function with a classwide return type, apply an
E.4(18) check to the returned value.
(Add_RACW_Primitive_Declarations_And_Bodies): Do not generate stubs for
stream attributes of the designated type of an RACW, as they are not
dispatching primitive operations.

From-SVN: r125403
gcc/ada/exp_dist.adb
gcc/ada/exp_dist.ads