[gcc r13-7855] ada: Fix crash on Ada.Containers with No_Dispatching_Calls restriction

[Eric Botcazou <ebotcazou@gcc.gnu.org>]

https://gcc.gnu.org/g:bb15f0c3762b5e0ff5615a4fec091c6e66590041

commit r13-7855-gbb15f0c3762b5e0ff5615a4fec091c6e66590041
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Wed Feb 1 17:46:17 2023 +0100

    ada: Fix crash on Ada.Containers with No_Dispatching_Calls restriction
    
    This makes it so that the compiler does not crash and flags the underlying
    violation of the restriction instead.
    
    gcc/ada/
    
            * exp_ch3.adb (Freeze_Type): Do not associate the Finalize_Address
            routine for a class-wide type if restriction No_Dispatching_Calls
            is in effect.

Diff:
---
 gcc/ada/exp_ch3.adb | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb
index abe71b252e7..da4d52a3d16 100644
--- a/gcc/ada/exp_ch3.adb
+++ b/gcc/ada/exp_ch3.adb
@@ -9251,9 +9251,13 @@ package body Exp_Ch3 is
          --  this is indeed the case, associate the Finalize_Address routine
          --  of the full view with the finalization masters of all pending
          --  access types. This scenario applies to anonymous access types as
-         --  well.
+         --  well. But the Finalize_Address routine is missing if the type is
+         --  class-wide and we are under restriction No_Dispatching_Calls, see
+         --  Expand_Freeze_Class_Wide_Type above for the rationale.
 
          elsif Needs_Finalization (Typ)
+           and then (not Is_Class_Wide_Type (Typ)
+                      or else not Restriction_Active (No_Dispatching_Calls))
            and then Present (Pending_Access_Types (Typ))
          then
             E := First_Elmt (Pending_Access_Types (Typ));