[Bug ada/115535] New: Image attribute on arrays incorrectly prints a signed representation under certain conditions

[Bug ada/115535] New: Image attribute on arrays incorrectly prints a signed representation under certain conditions

[liam at liampwll dot com]

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

            Bug ID: 115535
           Summary: Image attribute on arrays incorrectly prints a signed
                    representation under certain conditions
           Product: gcc
           Version: 13.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: liam at liampwll dot com
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---

When calling 'Image on arrays containing range 0 .. 2**32 - 1 the output does
not match the output of 'Image for each element and instead outputs the value
interpreted as a signed 32 bit number.

GCC version: x64 13.2.0 from Alire on Linux and trunk on godbolt.org

Example built with gcc -c -I/app/ -g -fdiagnostics-color=always -S
-fverbose-asm -masm=intel -gnat2022 -o /app/example.s -I-:

with Ada.Text_IO; use Ada.Text_IO;
with System;

procedure Example is
    type Client_ID_Part is range 0 .. 2**32 - 1 with
      Size => 32;
   type Client_ID is array (1 .. 2) of Client_ID_Part;
    A : Client_ID := (1479222903, 3163714999);
begin
   Put_Line (A'Image);
   Put_Line (A (1)'Image);
   Put_Line (A (2)'Image);
end Example;

Actual output:

[ 1479222903, -1131252297]
 1479222903
 3163714999

Expected output:

[ 1479222903, 3163714999]
 1479222903
 3163714999

[Bug ada/115535] negative value returned by 'Image applied to array with nonnegative integer component

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2024-06-18
            Summary|Image attribute on arrays   |negative value returned by
                   |of unsigned values          |'Image applied to array
                   |incorrectly prints a signed |with nonnegative integer
                   |representation under        |component
                   |certain conditions          |
                 CC|                            |ebotcazou at gcc dot gnu.org

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Build_Elementary_Put_Image_Call uses the signedness of the base type but the
size of the first subtype, hence the discrepancy.

[Bug ada/115535] negative value returned by 'Image for array with nonnegative integer component

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |ebotcazou at gcc dot gnu.org

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
I'll have a closer look.