ada: Minor potential bug in sem_ch6.adb
commit6c62d9b7b44b10ff272d11bcc430538ab07ef8f6
authorSteve Baird <baird@adacore.com>
Fri, 30 Sep 2022 18:14:20 +0000 (30 11:14 -0700)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 6 Oct 2022 09:22:49 +0000 (6 11:22 +0200)
tree75c527d447743d99255ac849b222b6c0a96436f0
parent1180b8fb8c74da9991a1e1066961d1b3f2bd6e4b
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