https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126379
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Here's my trial on SPARC/Solaris:
ebotcazou@s11-sparc:~$ /opt/cfarm/gcc-16.1.0/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/opt/cfarm/gcc-16.1.0/bin/gcc
COLLECT_LTO_WRAPPER=/opt/cfarm/gcc-16.1.0/libexec/gcc/sparc-sun-solaris2.11/16.1.0/lto-wrapper
Target: sparc-sun-solaris2.11
Configured with: /homes/ro/src/gcc-16.1.0/configure
--prefix=/opt/cfarm/gcc-16.1.0 --build=sparc-sun-solaris2.11 CC='gcc -m32'
CXX='g++ -m32' GDC='gdc -m32' --with-as=/opt/cfarm/binutils-2.46/bin/as
--with-ld=/usr/bin/ld
--enable-languages=c,ada,algol68,c++,d,fortran,go,lto,m2,objc,obj-c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 16.1.0 (GCC)
ebotcazou@s11-sparc:~$ cat p.adb
procedure P is
type Selection is (First, Second);
function Next_Value (Text : String;
Position : in out Positive) return String;
function Next_Value (Text : String;
Position : in out Positive) return String is
begin
Position := Position + 1;
return Text;
end Next_Value;
Position : Positive := 1;
Value : constant Selection := Selection'Value (Next_Value ("First",
Position));
begin
if Value /= First then
raise Program_Error;
end if;
end;
ebotcazou@s11-sparc:~$ /opt/cfarm/gcc-16.1.0/bin/gcc -c p.adb
ebotcazou@s11-sparc:~$
