commit cabca4dd5aa70e9a175a3802bb43a31a9370da5e
author Ronan Desplanques <desplanques@adacore.com> Fri Apr 18 16:45:10 2025 +0200
committer Eric Botcazou <ebotcazou@adacore.com> Mon Jun 30 19:14:15 2025 +0200
tree 920b6580f3a3ed917d41a411b79248e55b365aa4
parent 36332b84ce1ce738883fad68f0de4f9e678ee5f8

ada: Fix crash on nested access-to-subprogram types

This patch fixes a crash on some subprograms with anonymous
access-to-subprogram parameters by removing delayed freezing of
subprograms in some cases where it wasn't necessary. The -gnatD output
for itypes is also improved.

gcc/ada/ChangeLog:

	* sem_ch6.adb (Check_Delayed_Subprogram, Possible_Freeze): Restrict
	cases where freezing is delayed.
	* sem_ch6.ads (Check_Delayed_Subprogram): Improve documentation
	comment.
	* sprint.adb (Write_Itype): Improve output.