[Bug ada/39264] New: gnat.dg/pack3.adb fails on powerpc64

[Bug ada/39264] New: gnat.dg/pack3.adb fails on powerpc64

[laurent at guerby dot net]

When testing a 64 bits compiler ACATS is clean but gnat.dg has one FAIL:

http://gcc.gnu.org/ml/gcc-testresults/2009-02/msg02180.html

FAIL: gnat.dg/pack3.adb execution test
raised PROGRAM_ERROR : pack3.adb:29 explicit raise

pack3.adb test was introduced together with this patch:

2008-03-07  Eric Botcazou  <ebotcazou@adacore.com>

        * decl.c (gnat_to_gnu_entity) <E_Modular_Integer_Subtype>: Add
        comment for the packed array type case.
        * utils.c (build_template): Use a loop to strip padding or
        containing records for justified modular types.

To build on powerpc64 on debian etch one small patch is needed:

Index: configure
===================================================================
--- configure   (revision 144347)
+++ configure   (working copy)
@@ -3332,10 +3332,6 @@
 # in both places for now and restore CFLAGS at the end of config.
 save_CFLAGS="$CFLAGS"

-# Add -Wall -Werror if we are using GCC.
-if test "x$GCC" = "xyes"; then
-  XCFLAGS="$XCFLAGS -Wall -Werror"
-fi

 # Find other programs we need.
 if test -n "$ac_tool_prefix"; then

http://gcc.gnu.org/ml/gcc-testresults/2009-02/msg01865.html

Otherwise the build showing this FAIL is still available on compile farm gcc40
in /n/40/guerby/build-144347 and installed in
/n/40/guerby/install-trunk-144347/bin . Configure:

export CC="gcc -m64"
../trunk/configure --disable-nls --enable-__cxa_atexit --enable-threads=posix
--with-mpfr=/opt/cfarm/mpfr-2.3.2-64 --enable-languages=c,ada
--prefix=/n/40/guerby/install-trunk-144347 --with-long-double-128
--with-gmp=/opt/cfarm/gmp-4.2.4-64/

ssh public key can be added on request to my account (8h30 for bootstrap+check
c,ada on gcc40).


-- 
           Summary: gnat.dg/pack3.adb fails on powerpc64
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
 GCC build triplet: powerpc64-unknown-linux-gnu
  GCC host triplet: powerpc64-unknown-linux-gnu
GCC target triplet: powerpc64-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39264

[Bug ada/39264] gnat.dg/pack3.adb fails on powerpc64/s390x

[ebotcazou at gcc dot gnu dot org]

------- Comment #1 from ebotcazou at gcc dot gnu dot org  2009-02-23 14:43 -------
Visible on s390x as well:
  http://gcc.gnu.org/ml/gcc-testresults/2009-02/msg02251.html


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|powerpc64-unknown-linux-gnu |
   GCC host triplet|powerpc64-unknown-linux-gnu |
 GCC target triplet|powerpc64-unknown-linux-gnu |
   Last reconfirmed|0000-00-00 00:00:00         |2009-02-23 14:43:35
               date|                            |
            Summary|gnat.dg/pack3.adb fails on  |gnat.dg/pack3.adb fails on
                   |powerpc64                   |powerpc64/s390x


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39264

[Bug ada/39264] gnat.dg/pack3.adb fails on powerpc64/s390x

[ebotcazou at gcc dot gnu dot org]

------- Comment #2 from ebotcazou at gcc dot gnu dot org  2009-02-23 14:43 -------
Investigating.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ebotcazou at gcc dot gnu dot|
                   |org                         |
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2009-02-23 14:43:35         |2009-02-23 14:43:59
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39264

[Bug ada/39264] gnat.dg/pack3.adb fails on powerpc64/s390x

[ebotcazou at gcc dot gnu dot org]

------- Comment #3 from ebotcazou at gcc dot gnu dot org  2009-02-28 11:38 -------
Is there a 64-bit GDB around on the machine?

ebotcazou@gcc40:~$ gdb pack3
GNU gdb 6.4.90-debian
Copyright (C) 2006 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "powerpc-linux-gnu"..."/home/ebotcazou/pack3": not
in executable format: File format not recognized


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39264

[Bug ada/39264] gnat.dg/pack3.adb fails on powerpc64/s390x

[laurent at guerby dot net]

------- Comment #4 from laurent at guerby dot net  2009-02-28 12:34 -------
No debian lenny doesn't seem to provide one, I've compiling one in
/opt/cfarm/gdb-6.8-64/bin but it doesn't work with the same messages than the
one on sparc64...

My question on the GDB list:
http://sourceware.org/ml/gdb/2009-02/msg00175.html


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |laurent at guerby dot net


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39264

[Bug ada/39264] gnat.dg/pack3.adb fails on powerpc64/s390x

[laurent at guerby dot net]

------- Comment #5 from laurent at guerby dot net  2009-02-28 13:27 -------
I recompiled gdb as 64 bits on gcc40 (same dir) and now it seems to work.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39264

[Bug ada/39264] gnat.dg/pack3.adb fails on powerpc64/s390x

[ebotcazou at gcc dot gnu dot org]

------- Comment #6 from ebotcazou at gcc dot gnu dot org  2009-03-01 10:53 -------
Subject: Bug 39264

Author: ebotcazou
Date: Sun Mar  1 10:53:17 2009
New Revision: 144514

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=144514
Log:
        PR ada/39264
        * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do no
        call make_packable_type on fat pointer types.
        <E_Array_Subtype>: Likewise.
        <E_Record_Subtype>: Call make_packable_type on all record types
        except for fat pointer types.
        (make_packable_type): Likewise.
        (gnat_to_gnu_field): Likewise.

Added:
    trunk/gcc/testsuite/gnat.dg/pack12.adb
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gcc-interface/decl.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39264

[Bug ada/39264] gnat.dg/pack3.adb fails on powerpc64/s390x

[ebotcazou at gcc dot gnu dot org]

------- Comment #7 from ebotcazou at gcc dot gnu dot org  2009-03-01 10:56 -------
The test should pass everywhere now.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2009-
                   |                            |03/msg00034.html
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.4.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39264