[Ada] Compiler crash on call to function instance
authorBob Duff <duff@adacore.com>
Mon, 16 Nov 2020 20:02:47 +0000 (15:02 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 14 Dec 2020 15:51:50 +0000 (10:51 -0500)
gcc/ada/

* exp_ch6.adb (Is_Build_In_Place_Result_Type): Further narrow
the conditions under which we enable build-in-place for
controlled types.

gcc/ada/exp_ch6.adb

index 98a1ceba8c2daf17480216cfc5671ede6576a88d..955049f421015d7b8de0ce2d1eafdc04d5def673 100644 (file)
@@ -8091,6 +8091,7 @@ package body Exp_Ch6 is
 
                if True then
                   Result := Is_Controlled (T)
+                    and then not Is_Generic_Actual_Type (T)
                     and then Present (Enclosing_Subprogram (T))
                     and then not Is_Compilation_Unit (Enclosing_Subprogram (T))
                     and then Ekind (Enclosing_Subprogram (T)) = E_Procedure;