https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79441
Bug ID: 79441 Summary: gnat.dg/pack9.adb fails since r 236279 Product: gcc Version: 7.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: vogt at linux dot vnet.ibm.com CC: ebotcazou at gcc dot gnu.org, krebbel at gcc dot gnu.org Target Milestone: --- Host: s390x Target: s390x On s390x, the test gnat.dg/pack9.adb fails on s390x (--with-arch=zEC12) since this commit: -- Author: ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> AuthorDate: Mon May 16 11:08:53 2016 +0000 Commit: ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> CommitDate: Mon May 16 11:08:53 2016 +0000 * doc/gnat_rm/implementation_defined_attributes.rst (Scalar_Storage_Order): Adjust restriction for packed array types. * einfo.ads (Is_Bit_Packed_Array): Adjust description. (Is_Packed): Likewise. (Is_Packed_Array_Impl_Type): Likewise. (Packed_Array_Impl_Type): Likewise. * exp_ch4.adb (Expand_N_Indexed_Component): Do not do anything special if the prefix is not a packed array implemented specially. * exp_ch6.adb (Expand_Actuals): Expand indexed components only for bit-packed array types. * exp_pakd.adb (Install_PAT): Set Is_Packed_Array_Impl_Type flag on the PAT before analyzing its declaration. (Create_Packed_Array_Impl_Type): Remove redundant statements. * freeze.adb (Check_Component_Storage_Order): Reject packed array components only if they are bit packed. (Freeze_Array_Type): Fix logic detecting bit packing and do not bit pack for composite types whose size is multiple of a byte. Create the implementation type for packed array types only when it is needed, i.e. bit packing or packing because of holes in index types. Make sure the Has_Non_Standard_Rep and Is_Packed flags agree. * gcc-interface/gigi.h (make_packable_type): Add MAX_ALIGN parameter. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>: Call maybe_pad_type instead of building the padding type manually. (gnat_to_gnu_entity) <E_Array_Subtype>: Do not assert that Packed_Array_Impl_Type is present for packed arrays. (gnat_to_gnu_component_type): Also handle known alignment for packed types by passing it to make_packable_type. * gcc-interface/utils.c (make_packable_type): Add MAX_ALIGN parameter and deal with it in the array case. Adjust recursive call. Simplify computation of new size and cap the alignment to BIGGEST_ALIGNMENT. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@236279 138bc75d-0d04-0410-96 -- with FAIL: gnat.dg/pack9.adb scan-tree-dump-not optimized "gnat_rcheck" (The string "gnat_rcheck" appear in the .s file.) The test was build with $ ~/build/gcc/gnatmake --GCC=~/build/gcc/xgcc --GNATBIND=~/build/gcc/gnatbind --GNATLINK=~/build/gcc/gnatlink -cargs -B~/build/gcc -largs --GCC=~/build/gcc/xgcc -B~/build/gcc -m64 -margs --RTS=~/build/s390x-ibm-linux-gnu/./libada -q -f ~/gcc/gcc/testsuite/gnat.dg/pack9.adb -fno-diagnostics-show-caret -fdiagnostics-color=never -O2 -gnatp -fdump-tree-optimized -c -u -S -m64 -o pack9.s