https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101094

            Bug ID: 101094
           Summary: [11 regression] 'Enum_Rep returns a unsigned value for
                    the negative representation in gcc-11
           Product: gcc
           Version: 11.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: demoonlit at panathenaia dot halfmoon.jp
  Target Milestone: ---

'Enum_Rep returns a unsigned value for the run-time value having the negative
representation in gcc-11.
It also returns just a representation value for the compile-time value.

In gcc-10 or older, it always returns just a representation value.
Is this intentional changed or not?

Test code
---------

with Ada.Text_IO;
with Ada.Integer_Text_IO;
procedure main is
   type T is (Nega, Zero, Posi);
   for T use (Nega => -1, Zero => 0, Posi => 1);
begin
   -- literal
   Ada.Text_IO.Put ("Lite:");
   Ada.Integer_Text_IO.Put (T'Enum_Rep (Nega)); -- "-1"
   Ada.Text_IO.New_Line;
   -- compile-time constant
   declare
      Cons : constant T := Nega;
   begin
      Ada.Text_IO.Put ("Cons:");
      Ada.Integer_Text_IO.Put (T'Enum_Rep (Cons)); -- "-1"
      Ada.Text_IO.New_Line;
   end;
   -- variable
   declare
      Vari : T := T'Value ("Nega");
   begin
      Ada.Text_IO.Put ("Vari:");
      Ada.Integer_Text_IO.Put (T'Enum_Rep (Vari)); -- "255"
      Ada.Text_IO.New_Line;
   end;
   -- parameter
   declare
      procedure Sub1 (Para : T) is
      begin
         Ada.Text_IO.Put ("Para:");
         Ada.Integer_Text_IO.Put (T'Enum_Rep (Para)); -- "255"
         Ada.Text_IO.New_Line;
      end Sub1;
   begin
      Sub1 (Nega);
   end;
end main;

With gcc-10
-----------

$ gnatmake --version
GNATMAKE 10.2.0
Copyright (C) 1995-2020, Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.

$ gnatmake main
gcc -c main.adb
gnatbind -x main.ali
gnatlink main.ali

$ ./main
Lite:         -1
Cons:         -1
Vari:         -1
Para:         -1

With gcc-11
-----------

$ gnatmake --version
GNATMAKE 11.1.0
Copyright (C) 1995-2021, Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.

$ gnatmake main
gcc -c main.adb
gnatbind -x main.ali
gnatlink main.ali

% ./main
Lite:         -1
Cons:         -1
Vari:        255
Para:        255

Thanks.

Reply via email to