Original bug ID: 1734
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Dear Camllists,

I hope this is another false alarm and I am just doing something stupid.

A large program compiled with ocamlc segfaults. I know that a program
compiled with ocamlopt can segfault if it runs out of stack, but I
believe this is not supposed to be possible with ocamlc.

When I run the program using ocamldebug, I get

Lost connection with process 3014 (active process)
between time 3190000 and time 3200000
Trying to recover...

When I run the program under gdb, I get the following output:

: nr@labrador 2314 ; gdb ../bin/qc--
gdb: Symbol `emacs_ctlx_keymap' has different size in shared object, consider re-linking
GNU gdb 2002-04-01-cvs
Copyright 2002 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-linux"...(no debugging symbols found)...
(gdb) run testdrv.lua all.dummy.tst
Starting program: /amd/lair60/vol/vol0/home/nr/c--/qc--/bin/qc-- testdrv.lua all.dummy.tst
(no debugging symbols found)...(no debugging symbols found)...
(no debugging symbols found)...(no debugging symbols found)...[New Thread 16384 (LWP 3336)]

(no debugging symbols found)...(no debugging symbols found)... [ 75.76 % ]
Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 16384 (LWP 3336)]
0x0805f57b in alloc_channel ()
(gdb) bt
#0 0x0805f57b in alloc_channel ()
#1 0x0805f626 in caml_out_channels_list ()
#2 0x08067566 in interprete ()
#3 0x080686a1 in caml_main ()
#4 0x0805ad1c in main ()
#5 0x400e6a51 in __libc_start_main () from /lib/libc.so.6
(gdb)

Please let me know how I can provide more information that might help
you (or me) diagnose and repair this problem.

Norman