[Bug ada/20753] New: ACATS ce3810b segfault at runtime on hppa-linux

[Bug ada/20753] New: ACATS ce3810b segfault at runtime on hppa-linux

[laurent at guerby dot net]

4.1.0 20050404 (experimental) (hppa-unknown-linux-gnu)

,.,. CE3810B ACATS 2.5 05-04-04 04:57:28
---- CE3810B CHECK THAT FIXED_IO PUT CAN OPERATE ON STRINGS.  ALSO CHECK
                THAT LAYOUT_ERROR IS RAISED WHEN THE STRING IS
                INSUFFICIENTLY LONG.
Segmentation fault      (core dumped)

-- 
           Summary: ACATS ce3810b segfault at runtime on hppa-linux
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: hppa-unknown-linux-gnu


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

[Bug ada/20753] ACATS ce3810b segfault at runtime on hppa-linux

[danglin at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |danglin at gcc dot gnu dot
                   |                            |org


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

[Bug ada/20753] ACATS ce3810b segfault at runtime on hppa-linux

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-09-16 18:15 -------
Also happens the same way (run time core dump) on 4.0.2 20050913 (prerelease) on
sparc-linux.

-- 


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

[Bug ada/20753] ACATS ce3810b segfault at runtime on hppa-linux

[christian dot joensson at gmail dot com]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |christian dot joensson at
                   |                            |gmail dot com


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

[Bug ada/20753] ACATS ce3810b segfault at runtime on hppa-linux

[christian dot joensson at gmail dot com]

------- Additional Comments From christian dot joensson at gmail dot com  2005-09-16 18:48 -------
on 4.0 branch, this passed Aug 13,
http://gcc.gnu.org/ml/gcc-testresults/2005-08/msg00840.html,
but failed Sept. 2,
http://gcc.gnu.org/ml/gcc-testresults/2005-09/msg00140.html.

checking further...


-- 


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

[Bug ada/20753] ACATS ce3810b segfault at runtime on hppa-linux

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-09-16 18:50 -------
Present on SPARC/Solaris too.  It's a bug in the runtime.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-16 18:50:51
               date|                            |
            Version|4.1.0                       |4.0.2


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

[Bug ada/20753] ACATS ce3810b segfault at runtime on hppa-linux

[christian dot joensson at gmail dot com]

------- Additional Comments From christian dot joensson at gmail dot com  2005-09-17 12:08 -------
well, LAST_UPDATED: Fri Sep 16 15:58:15 UTC 2005, and on 
xgcc -v
Using built-in specs.
Target: sparc64-unknown-linux-gnu
Configured with: ../gcc/configure --enable-__cxa_atexit --enable-shared
--with-cpu=v7 --enable-languages=c,ada,c++,f95,java,objc,treelang :
(reconfigured) ../gcc/configure --enable-__cxa_atexit --enable-shared
--with-cpu=v7 --with-gcc-version-trigger=/usr/local/src/branch/gcc/gcc/version.c
--enable-languages=c,ada,c++,f95,java,objc,treelang --no-create --no-recursion
Thread model: posix
gcc version 4.0.2 20050916 (prerelease)

I get this:
[chj@u10 ce3810b]$ export ADA_INCLUDE_PATH=/usr/local/src/branch/objdir/gcc/ada/rts 
[chj@u10 ce3810b]$ export LD_LIBRARY_PATH=$ADA_INCLUDE_PATH:$LD_LIBRARY_PATH
[chj@u10 ce3810b]$ export ADA_OBJECTS_PATH=$ADA_INCLUDE_PATH
[chj@u10 ce3810b]$ which gnatmake
/usr/local/src/branch/objdir/gcc/gnatmake
[chj@u10 ce3810b]$ gnatmake --GCC="/usr/local/src/branch/objdir/gcc/xgcc
-B/usr/local/src/branch/objdir/gcc/" -gnatws -O2
-I/usr/local/src/branch/objdir/gcc/testsuite/ada/acats/support ce3810b.adb
-largs --GCC="/usr/local/src/branch/objdir/gcc/xgcc
-B/usr/local/src/branch/objdir/gcc/"
/usr/local/src/branch/objdir/gcc/xgcc -c -B/usr/local/src/branch/objdir/gcc/
-gnatws -O2 -I/usr/local/src/branch/objdir/gcc/testsuite/ada/acats/support
ce3810b.adb
gnatbind -aO./ -I/usr/local/src/branch/objdir/gcc/testsuite/ada/acats/support
-I- -x ce3810b.ali
gnatlink ce3810b.ali --GCC=/usr/local/src/branch/objdir/gcc/xgcc
-B/usr/local/src/branch/objdir/gcc/

and then running through the debugger:

Current directory is
/usr/local/src/branch/objdir/gcc/testsuite/ada/acats/tests/ce/ce3810b/
GNU gdb Red Hat Linux (6.3.0.0-0.29rh)
Copyright 2004 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 "sparc-redhat-linux"...Using host libthread_db
library "/lib/libthread_db.so.1".

(gdb) r
Starting program:
/usr/local/src/branch/objdir/gcc/testsuite/ada/acats/tests/ce/ce3810b/ce3810b 

,.,. CE3810B ACATS 2.5 05-09-17 14:04:02
---- CE3810B CHECK THAT FIXED_IO PUT CAN OPERATE ON STRINGS.  ALSO CHECK
                THAT LAYOUT_ERROR IS RAISED WHEN THE STRING IS
                INSUFFICIENTLY LONG.

Program received signal SIGSEGV, Segmentation fault.
0x00015540 in system.secondary_stack.ss_release (m=) at s-secsta.adb:477
Current language:  auto; currently ada
(gdb) bt
#0  0x00015540 in system.secondary_stack.ss_release (m=) at s-secsta.adb:477
#1  0x00027a1c in _ada_ce3810b ()
#2  0x00011c9c in main ()
(gdb) 


-- 


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

[Bug ada/20753] ACATS ce3810b segfault at runtime on hppa-linux

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-09-17 12:15 -------
> Program received signal SIGSEGV, Segmentation fault.
> 0x00015540 in system.secondary_stack.ss_release (m=) at s-secsta.adb:477
> Current language:  auto; currently ada
> (gdb) bt
> #0  0x00015540 in system.secondary_stack.ss_release (m=) at s-secsta.adb:477
> #1  0x00027a1c in _ada_ce3810b ()
> #2  0x00011c9c in main ()

The stack is trashed because a routine of the runtime writes one byte past the
end of the slot it is passed.  Recompile the runtime without -gnatp and you will
see a nice CONSTRAINT_ERROR.

-- 


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

[Bug ada/20753] ACATS ce3810b segfault at runtime on hppa and sparc-linux

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-09-17 12:17 -------
Eric, do you have a patch in the pipeline?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ACATS ce3810b segfault at   |ACATS ce3810b segfault at
                   |runtime on hppa-linux       |runtime on hppa and sparc-
                   |                            |linux


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

[Bug ada/20753] ACATS ce3810b segfault at runtime on hppa and sparc-linux

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-09-17 12:28 -------
> Eric, do you have a patch in the pipeline?

Only a quick fix that doesn't solve all the cases.  Geert is the specialist here.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bosch at gcc dot gnu dot org


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