diff options
| author | Steve Baird <baird@adacore.com> | 2022-09-30 11:14:20 -0700 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-10-06 11:22:49 +0200 |
| commit | 6c62d9b7b44b10ff272d11bcc430538ab07ef8f6 (patch) | |
| tree | 75c527d447743d99255ac849b222b6c0a96436f0 /gcc | |
| parent | 1180b8fb8c74da9991a1e1066961d1b3f2bd6e4b (diff) | |
| download | gcc-6c62d9b7b44b10ff272d11bcc430538ab07ef8f6.zip gcc-6c62d9b7b44b10ff272d11bcc430538ab07ef8f6.tar.gz gcc-6c62d9b7b44b10ff272d11bcc430538ab07ef8f6.tar.bz2 | |
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 7db0cb7..7ad6408 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; |