From: Eric Botcazou Date: Tue, 21 Aug 2018 14:46:45 +0000 (+0000) Subject: [Ada] Fix spurious error on unchecked conversion on VFA record type X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1ab1c4ee18d7866249fb99bcc9d073fcb475dc9d;p=gcc.git [Ada] Fix spurious error on unchecked conversion on VFA record type 2018-08-21 Eric Botcazou gcc/ada/ * gcc-interface/trans.c (Call_to_gnu): Always suppress an unchecked conversion around the actual for an In parameter passed by copy. From-SVN: r263718 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 27bb79d5017..e882e39602b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2018-08-21 Eric Botcazou + + * gcc-interface/trans.c (Call_to_gnu): Always suppress an + unchecked conversion around the actual for an In parameter + passed by copy. + 2018-08-21 Eric Botcazou * exp_util.adb (Is_Possibly_Unaligned_Object): For the case of a diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 0371d00fce1..940bf5f3b3f 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -4450,6 +4450,7 @@ Call_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p, tree gnu_target, const bool suppress_type_conversion = ((Nkind (gnat_actual) == N_Unchecked_Type_Conversion && (!in_param + || !is_by_ref_formal_parm || (Is_Composite_Type (Underlying_Type (gnat_formal_type)) && !Is_Constrained (Underlying_Type (gnat_formal_type))))) || (Nkind (gnat_actual) == N_Type_Conversion