https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122008
Sam James <sjames at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |wrong-code
--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
```
$ for x in 8.5.0 9.5.0 {10..16} ; do gnatmake-${x} bug -f ; ./bug ; done
10:26:44 [1/67]
gcc -c bug.adb
free(): invalid pointer
raised PROGRAM_ERROR : unhandled signal
gnatmake-8.5.0: INTERNAL ERROR. Please report.
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
gcc -c bug.adb
free(): invalid pointer
raised PROGRAM_ERROR : unhandled signal
gnatmake-9.5.0: INTERNAL ERROR. Please report.
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
gcc -c bug.adb
gnatbind -x bug.ali
gnatlink bug.ali
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
gcc -c bug.adb
gnatbind -x bug.ali
gnatlink bug.ali
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
gcc-12 -c bug.adb
gnatbind-12 -x bug.ali
gnatlink-12 bug.ali
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
gcc-13 -c bug.adb
gnatbind-13 -x bug.ali
gnatlink-13 bug.ali
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
gcc-14 -c bug.adb
gnatbind-14 -x bug.ali
gnatlink-14 bug.ali
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
gcc-15 -c bug.adb
gnatbind-15 -x bug.ali
gnatlink-15 bug.ali
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
gcc-16 -c bug.adb
gnatbind-16 -x bug.ali
gnatlink-16 bug.ali
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
```
I don't have anything older to test, unfortunately.
