From 1ab1c4ee18d7866249fb99bcc9d073fcb475dc9d Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Tue, 21 Aug 2018 14:46:45 +0000 Subject: [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 --- gcc/ada/gcc-interface/trans.c | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/ada/gcc-interface/trans.c') diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 0371d00..940bf5f 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 -- cgit v1.1