]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix crash on nested access-to-subprogram types
authorRonan Desplanques <desplanques@adacore.com>
Fri, 18 Apr 2025 14:45:10 +0000 (16:45 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 30 Jun 2025 13:47:20 +0000 (15:47 +0200)
commite6d09348dc1cf93ee85274fec74848e1703b9f24
treef226d89b85a9618fef70b506711c5d8b607bf5e1
parenta61eb1d4ad7e1bf53303ae3ff7e6141e54f1f9af
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.
gcc/ada/sem_ch6.adb
gcc/ada/sem_ch6.ads
gcc/ada/sprint.adb