+2014-01-25 Robert Dewar <dewar@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_param): Make sure an Out parameter
+ with Default_Value aspect is passed in by copy.
+
2014-01-24 Eric Botcazou <ebotcazou@adacore.com>
* set_targ.adb: Set Short_Enums.
Out parameters with discriminants or implicit initial values to be
handled like In Out parameters. These type are normally built as
aggregates, hence passed by reference, except for some packed arrays
- which end up encoded in special integer types.
+ which end up encoded in special integer types. Note that scalars can
+ be given implicit initial values using the Default_Value aspect.
The exception we need to make is then for packed arrays of records
with discriminants or implicit initial values. We have no light/easy
|| (mech != By_Descriptor
&& mech != By_Short_Descriptor
&& !POINTER_TYPE_P (gnu_param_type)
- && !AGGREGATE_TYPE_P (gnu_param_type)))
+ && !AGGREGATE_TYPE_P (gnu_param_type)
+ && !Has_Default_Aspect (Etype (gnat_param))))
&& !(Is_Array_Type (Etype (gnat_param))
&& Is_Packed (Etype (gnat_param))
&& Is_Composite_Type (Component_Type (Etype (gnat_param)))))