From b87042ccc5d066af9de71e215364d40959e11849 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 29 Jun 2020 10:28:00 +0200 Subject: [PATCH] [Ada] Detect qualified type names for AI12-0027 gcc/ada/ * sem_util.adb (Is_View_Conversion): Detect qualified types. * sem_util.ads (Is_Actual_In_Out_Parameter): Fix style in comment. --- gcc/ada/sem_util.adb | 2 +- gcc/ada/sem_util.ads | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 9b67a45b6e9..1fcbfa1c516 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -19641,7 +19641,7 @@ package body Sem_Util is function Is_View_Conversion (N : Node_Id) return Boolean is begin if Nkind (N) = N_Type_Conversion - and then Nkind (Unqual_Conv (N)) = N_Identifier + and then Nkind (Unqual_Conv (N)) in N_Expanded_Name | N_Identifier then if Is_Tagged_Type (Etype (N)) and then Is_Tagged_Type (Etype (Unqual_Conv (N))) diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 2b18ac28003..76478b7a555 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1598,7 +1598,7 @@ package Sem_Util is function Is_Actual_In_Out_Parameter (N : Node_Id) return Boolean; -- Determines if N is an actual parameter of in-out mode in a subprogram - -- call + -- call. function Is_Actual_Out_Parameter (N : Node_Id) return Boolean; -- Determines if N is an actual parameter of out mode in a subprogram call -- 2.30.2