From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7871) id CF42A3858416; Fri, 26 May 2023 07:35:42 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org CF42A3858416 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1685086542; bh=bdlbPqV8jhIn85jehbv7/28JcJuJ9Fn3P++9YQ6MXV0=; h=From:To:Subject:Date:From; b=LutPcwzVCaV0bIofE+rjulDMacHb04Ez/z7/9sP6YMaTxac5TE2YL3ggYG9dOprjb 8/IX75RIhXEA3j40R+XTNRR/JTYioUAHazz0FxcK8Qwjfh7vZ+VUc03YNOgGmFg2YP 08qC9o1l1rEbYnXTIHjZc89qDnmxAEKYMqlwjPHg= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Marc Poulhi?s To: gcc-cvs@gcc.gnu.org Subject: [gcc r14-1262] ada: Minor tweak in condition X-Act-Checkin: gcc X-Git-Author: Eric Botcazou X-Git-Refname: refs/heads/master X-Git-Oldrev: c8c37d2bfde00ec3ac8083502dbbe04f0b213298 X-Git-Newrev: 9df0c1198ecba478ac27d28765224412ee6606e9 Message-Id: <20230526073542.CF42A3858416@sourceware.org> Date: Fri, 26 May 2023 07:35:42 +0000 (GMT) List-Id: https://gcc.gnu.org/g:9df0c1198ecba478ac27d28765224412ee6606e9 commit r14-1262-g9df0c1198ecba478ac27d28765224412ee6606e9 Author: Eric Botcazou Date: Thu Mar 16 18:38:20 2023 +0100 ada: Minor tweak in condition gcc/ada/ * sem_util.adb (Compile_Time_Constraint_Error): Test the Ekind. Diff: --- gcc/ada/sem_util.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index aabd01747fc..ea5be2ff4b5 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -6110,7 +6110,7 @@ package body Sem_Util is Conc_Typ : constant Entity_Id := (if Present (Init_Proc_Type) - and then Init_Proc_Type in E_Record_Type_Id + and then Ekind (Init_Proc_Type) = E_Record_Type then Corresponding_Concurrent_Type (Init_Proc_Type) else Empty);