You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4235 Reporter: djs55 Status: closed (set by @xavierleroy on 2007-05-12T09:24:26Z) Resolution: fixed Priority: normal Severity: crash Version: 3.09.3 Category: back end (clambda to assembly) Monitored by: ertai
Bug description
Attached is a small non-recursive program which segfaults when compiled to native code and executed. Program works fine in bytecode, on other architectures and with other ocaml compiler versions. (In particular it doesn't crash on 3.10beta so maybe this is a known fixed bug)
Here's what I get (under CentOS 4.4, ocaml 3.09.3):
$ make
make[1]: Entering directory /bad' ocamlopt -o crash crash.ml File "crash.ml", line 3, characters 6-7: Warning Y: unused variable g. make[1]: Leaving directory /bad'
$ ./crash
Segmentation fault (core dumped)
$ gdb ./crash
GNU gdb Red Hat Linux (6.3.0.0-1.132.EL4rh)
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 "i386-redhat-linux-gnu"...(no debugging symbols found)
Using host libthread_db library "/lib/tls/i686/libthread_db.so.1".
(gdb) run
Starting program: /bad/crash
Reading symbols from shared object read from target memory...(no debugging symbols found)...done.
Loaded system supplied DSO at 0xffffe000
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
Program received signal SIGSEGV, Segmentation fault.
0x0804aa10 in camlPervasives__failwith_37 ()
(gdb) bt
#0 0x0804aa10 in camlPervasives__failwith_37 ()
Cannot access memory at address 0x1
(gdb)
Additional information
Configuration of machine (actually a chroot) where crash is easily reproduced:
According tests done on my machine this problem is already fixed in the CVS for the 3.10 release (I also confirm that on the same machine it fails with 3.09.3).
Original bug ID: 4235
Reporter: djs55
Status: closed (set by @xavierleroy on 2007-05-12T09:24:26Z)
Resolution: fixed
Priority: normal
Severity: crash
Version: 3.09.3
Category: back end (clambda to assembly)
Monitored by: ertai
Bug description
Attached is a small non-recursive program which segfaults when compiled to native code and executed. Program works fine in bytecode, on other architectures and with other ocaml compiler versions. (In particular it doesn't crash on 3.10beta so maybe this is a known fixed bug)
Here's what I get (under CentOS 4.4, ocaml 3.09.3):
$ make
make[1]: Entering directory
/bad' ocamlopt -o crash crash.ml File "crash.ml", line 3, characters 6-7: Warning Y: unused variable g. make[1]: Leaving directory
/bad'$ ./crash
Segmentation fault (core dumped)
$ gdb ./crash
GNU gdb Red Hat Linux (6.3.0.0-1.132.EL4rh)
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 "i386-redhat-linux-gnu"...(no debugging symbols found)
Using host libthread_db library "/lib/tls/i686/libthread_db.so.1".
(gdb) run
Starting program: /bad/crash
Reading symbols from shared object read from target memory...(no debugging symbols found)...done.
Loaded system supplied DSO at 0xffffe000
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
Program received signal SIGSEGV, Segmentation fault.
0x0804aa10 in camlPervasives__failwith_37 ()
(gdb) bt
#0 0x0804aa10 in camlPervasives__failwith_37 ()
Cannot access memory at address 0x1
(gdb)
Additional information
Configuration of machine (actually a chroot) where crash is easily reproduced:
Program works fine on:
Program works fine on:
Program works fine on:
File attachments
The text was updated successfully, but these errors were encountered: