[Bug ada/126379] 'Value Compilation Failure When Given a 2-Parameter Function Argument

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:~$