diff mbox series

[COMMITTED] ada: Fix late extra formals creation

Message ID 20230526073540.2067682-1-poulhies@adacore.com
State Committed
Commit f4e907d5ee52fffe7c6fb1256e65eb39c9313379
Headers
Series [COMMITTED] ada: Fix late extra formals creation |

Commit Message

Marc Poulhiès May 26, 2023, 7:35 a.m. UTC 
  From: Ronan Desplanques <desplanques@adacore.com>

Before this patch, in some situations, a subprogram call could be
expanded before the extra formals for the subprogram were created.

This patch fixes the problem in those situations.

gcc/ada/

	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Create extra formals
	in more situations.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sem_ch6.adb | 1 +
 1 file changed, 1 insertion(+)
diff mbox series

Patch

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index 6df1c8dedd3..c58a5488cd2 100644
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -3907,6 +3907,7 @@  package body Sem_Ch6 is
            and then Serious_Errors_Detected = 0
          then
             Set_Has_Delayed_Freeze (Spec_Id);
+            Create_Extra_Formals (Spec_Id);
             Freeze_Before (N, Spec_Id);
          end if;
       end if;