From 6c62d9b7b44b10ff272d11bcc430538ab07ef8f6 Mon Sep 17 00:00:00 2001 From: Steve Baird Date: Fri, 30 Sep 2022 11:14:20 -0700 Subject: [PATCH] ada: Minor potential bug in sem_ch6.adb In sem_ch6.adb, the procedure Analyze_Procedure_Call is preceded with a comment: -- WARNING: This routine manages Ghost regions. Return statements must be -- replaced by gotos that jump to the end of the routine and restore the -- Ghost mode. Correct a violation of this comment. This is a one-line change. gcc/ada/ * sem_ch6.adb (Analyze_Procedure_Call): Replace "return;" with "goto Leave;", as per comment preceding body of Analyze_Procedure_Call. --- gcc/ada/sem_ch6.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 7db0cb7c08f7..7ad6408af81b 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -2398,7 +2398,7 @@ package body Sem_Ch6 is Class_Wide_Type (Etype (First_Formal (Subp))) = Typ) and then Try_Object_Operation (P) then - return; + goto Leave; else Analyze_Call_And_Resolve; -- 2.47.2