https://bugzilla.novell.com/show_bug.cgi?id=712726
https://bugzilla.novell.com/show_bug.cgi?id=712726#c19
--- Comment #19 from Markus Elfring
This means you have debuginfo package for a different version of glibc than you have installed on your system.
I admit that the package "glibc 2.11.3-12.17.1" was installed. I have downgraded it temporarily to the version "2.11.3-12.15.1" to match it with the available debug information.
As the bug is not in glibc, you don't need that debuginfo anyway.
I would like to be sure that I do not blame the wrong software component. (In reply to comment #16) Does the following display show useful details? elfring@Sonne:~/Projekte/Coccinelle> ocamlopt -o foo foo.ml && gdb ./foo GNU gdb (GDB) SUSE (7.2-3.3) .. Reading symbols from /home/elfring/Projekte/Coccinelle/foo...done. (gdb) run Starting program: /home/elfring/Projekte/Coccinelle/foo Program received signal SIGSEGV, Segmentation fault. 0x000000000062ee00 in strcpy@@GLIBC_2.2.5 () (gdb) bt #0 0x000000000062ee00 in strcpy@@GLIBC_2.2.5 () #1 0x000000000041bb4d in caml_register_named_value (vname=6461304, val=6459320) at /usr/include/bits/string3.h:105 #2 0x000000000041da24 in caml_c_call () #3 0x0000000000000064 in ?? () #4 0x0000000000404e29 in caml_program () #5 0x000000000008bb9b in ?? () #6 0x000000000041da7a in caml_start_program () #7 0x0000000000000000 in ?? () By the way: It seems that I do not get a memory file for the program "foo" if I enable the dump generation temporarily. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.