From 5540812a4d623975660159172d3cf4241ead8494 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 25 Jun 2020 21:48:51 +0200 Subject: [PATCH] [Ada] Unique itypes names for unconstrained array object declaration gcc/ada/ * sem_ch3.adb (Array_Type_Declaration): Create itype with unique name. --- gcc/ada/sem_ch3.adb | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index dc276df7972..8fe118b078e 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -6141,7 +6141,12 @@ package body Sem_Ch3 is -- Constrained array case if No (T) then - T := Create_Itype (E_Void, P, Related_Id, 'T'); + -- We might be creating more than one itype with the same Related_Id, + -- e.g. for an array object definition and its initial value. Give + -- them unique suffixes, because GNATprove require distinct types to + -- have different names. + + T := Create_Itype (E_Void, P, Related_Id, 'T', Suffix_Index => -1); end if; if Nkind (Def) = N_Constrained_Array_Definition then -- 2.30.2