[Bug ada/66837] New: Non-Native Default_Scalar_Storage_Order Breaks Enum'Image

[Bug ada/66837] New: Non-Native Default_Scalar_Storage_Order Breaks Enum'Image

[MatthewS.Grochowalski at ge dot com]

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

            Bug ID: 66837
           Summary: Non-Native Default_Scalar_Storage_Order Breaks
                    Enum'Image
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: MatthewS.Grochowalski at ge dot com
  Target Milestone: ---

Created attachment 35949
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35949&action=edit
Test Case

Encountered with build of r225405 of the scalar-storage-order branch.

Attached test case dies with a STORAGE_ERROR when calling 'Image() on
enumeration values.

The values in the index array generated by
Exp_Imgv.Build_Enumeration_Image_Tables are being byte-swapped due to the
Default_Scalar_Storage_Order pragma.

System.Img_Enum_New.Image_Enumeration_16 (in this case) treats the index array
as native scalar storage order, causing things to blow up.

[Bug ada/66837] Non-Native Default_Scalar_Storage_Order Breaks Enum'Image

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-07-17
                 CC|                            |ebotcazou at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Confirmed, pragma Default_Scalar_Storage_Order needs to be fixed.

[Bug ada/66837] Non-Native Default_Scalar_Storage_Order Breaks Enum'Image

[MatthewS.Grochowalski at ge dot com]

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

--- Comment #2 from Matt Grochowalski <MatthewS.Grochowalski at ge dot com> ---
Created attachment 36029
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36029&action=edit
Fix for this case

Barring a more general method, this seems to fix enumeration images.

[Bug ada/66837] Non-Native Default_Scalar_Storage_Order Breaks Enum'Image

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |10.0
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Fixed in GCC 10.x and later.