https://bugzilla.novell.com/show_bug.cgi?id=712726 https://bugzilla.novell.com/show_bug.cgi?id=712726#c1 Vitezslav Cizek changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED CC| |vcizek@novell.com --- Comment #1 from Vitezslav Cizek 2011-08-18 14:53:48 CEST --- Your example works for me on 11.4:

cat ocaml.segfault.ml let _ = Printf.printf "hello\n"

ocamlopt -o foo ocaml.segfault.ml File "ocaml.segfault.ml", line 1, characters 0-1: Warning 24: bad source file name: "Ocaml.segfault" is not a valid module name.

./foo hello

The ocaml package seems to be exactly your version:

rpm -q ocaml ocaml-3.12.0-2.1.x86_64

Aren't you on a 32bit machine? Could you please test ocaml package from Factory repo? -- 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.

https://bugzilla.novell.com/show_bug.cgi?id=712726 https://bugzilla.novell.com/show_bug.cgi?id=712726#c3 --- Comment #3 from Markus Elfring 2011-08-19 17:08:48 UTC --- Is it possible to retrieve more meaningful information (by debug packages) to clarify this error situation? -- 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.

https://bugzilla.novell.com/show_bug.cgi?id=712726 https://bugzilla.novell.com/show_bug.cgi?id=712726#c5 --- Comment #5 from Vitezslav Cizek 2011-08-22 16:26:12 CEST --- It looks like a bug in ocamlopt. Try to install the debug packages and attach the crash backtrace. -- 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.

https://bugzilla.novell.com/show_bug.cgi?id=712726 https://bugzilla.novell.com/show_bug.cgi?id=712726#c7 --- Comment #7 from Vitezslav Cizek 2011-08-24 14:31:58 CEST --- Could you send output of 'strace foo' ? -- 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.

https://bugzilla.novell.com/show_bug.cgi?id=712726 https://bugzilla.novell.com/show_bug.cgi?id=712726#c9 --- Comment #9 from Vitezslav Cizek 2011-08-25 12:09:51 CEST --- Not much. Try installing ocaml-debuginfo a then run it in gdb and send output of backtrace command. Could you also attach the foo's core dump? -- 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.

https://bugzilla.novell.com/show_bug.cgi?id=712726 https://bugzilla.novell.com/show_bug.cgi?id=712726#c11 --- Comment #11 from Vitezslav Cizek 2011-08-25 14:36:22 CEST --- You probably need to enable debug repository: sudo zypper ar http://download.opensuse.org/debug/distribution/11.4/repo/oss/ 11.4-debug -- 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.

https://bugzilla.novell.com/show_bug.cgi?id=712726 https://bugzilla.novell.com/show_bug.cgi?id=712726#c13 --- Comment #13 from Vitezslav Cizek 2011-08-25 15:58:29 CEST --- Debug packages aren't enabled for devel:languages:misc project, where ocaml package resides. So there isn't a ocaml-debuginfo-3.12.1-27.2 -- 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.

https://bugzilla.novell.com/show_bug.cgi?id=712726 https://bugzilla.novell.com/show_bug.cgi?id=712726#c17 --- Comment #17 from Markus Elfring 2011-08-26 11:26:52 UTC --- (In reply to comment #16) Yes, of course. - I did not dare it yesterday because of the reported mismatches. Are are there any chances to complete the debug information for the corresponding shared libraries before the next try of the backtrace command? -- 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.

https://bugzilla.novell.com/show_bug.cgi?id=712726 https://bugzilla.novell.com/show_bug.cgi?id=712726#c21 --- Comment #21 from Markus Elfring 2011-08-29 18:12:30 UTC --- Created an attachment (id=448272) --> (http://bugzilla.novell.com/attachment.cgi?id=448272) memory dump for an OCaml executable file (In reply to comment #20) Would you like to test the attached files again in your execution environments? By the way: Will corresponding debug information become available for the package "glibc 2.11.3-12.17.1"? -- 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.