OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Detect qualified type names for AI12-0027

Browse Source 
gcc/ada/

	* sem_util.adb (Is_View_Conversion): Detect qualified types.
	* sem_util.ads (Is_Actual_In_Out_Parameter): Fix style in
	comment.
This commit is contained in:
Piotr Trojanek 2020-06-29 10:28:00 +02:00 committed by Pierre-Marie de Rodat
parent 3d5f1f27a7
commit b87042ccc5
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/ada/sem_util.adb
View File

@ -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)))

2
gcc/ada/sem_util.ads
View File

@ -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