[gcc r13-4015] ada: Flag unsupported dispatching constructor calls

[Marc Poulhi?s <dkm@gcc.gnu.org>]

https://gcc.gnu.org/g:0e194d289d4d1c9aa16d14c4b94caf11c2506da3

commit r13-4015-g0e194d289d4d1c9aa16d14c4b94caf11c2506da3
Author: Javier Miranda <miranda@adacore.com>
Date:   Mon Nov 7 09:28:56 2022 +0000

    ada: Flag unsupported dispatching constructor calls
    
    gcc/ada/
    
            * exp_intr.adb
            (Expand_Dispatching_Constructor_Call): Improve warning message.
            * freeze.adb
            (Check_No_Parts_Violations): Improve error message.

Diff:
---
 gcc/ada/exp_intr.adb | 9 ++++++---
 gcc/ada/freeze.adb   | 3 +++
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/exp_intr.adb b/gcc/ada/exp_intr.adb
index cb9b5be1090..d18ed69eeae 100644
--- a/gcc/ada/exp_intr.adb
+++ b/gcc/ada/exp_intr.adb
@@ -315,9 +315,12 @@ package body Exp_Intr is
             Error_Msg_N
               ("unsupported dispatching constructor call if the type "
                & "of the built object has task components??", N);
-            Error_Msg_N
-              ("\work around this problem by replacing task components "
-               & "with access-to-task-type components??", N);
+
+            Error_Msg_Sloc := Sloc (Root_Type (Etype (Entity (Name (N)))));
+            Error_Msg_NE
+              ("\work around this by adding ''with no_task_parts'' to "
+               & "the declaration of the root type& defined#???",
+               N, Root_Type (Etype (Entity (Name (N)))));
          end if;
       end if;
 
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index 032c73d3dfb..7f78b4315a8 100644
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -3188,6 +3188,9 @@ package body Freeze is
                if Has_Task (Typ) then
                   Error_Msg_N
                     ("aspect % applied to task type &", Typ);
+                  Error_Msg_N
+                    ("\replace task components with access-to-task-type "
+                     & "components??", Typ);
                end if;
 
             else