https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113350
Pascal Pignard <p.p11 at orange dot fr> changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #57049|0 |1 is obsolete| | --- Comment #2 from Pascal Pignard <p.p11 at orange dot fr> --- Created attachment 57172 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57172&action=edit Reproducer version 2. Actually, the special -gnatX is needed. I was experimenting some new features from AdaCore. Any way, nothing related with the issue, thus, I post a version 2: % gnatmake test_20240110_renproc_2.adb gcc -c test_20240110_renproc_2.adb gnatbind -x test_20240110_renproc_2.ali gnatlink test_20240110_renproc_2.ali % ./test_20240110_renproc_2 Hei Full Hei