]> 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)
committerEric Botcazou <ebotcazou@adacore.com>
Mon, 30 Jun 2025 17:14:15 +0000 (19:14 +0200)
commitcabca4dd5aa70e9a175a3802bb43a31a9370da5e
tree920b6580f3a3ed917d41a411b79248e55b365aa4
parent36332b84ce1ce738883fad68f0de4f9e678ee5f8
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