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