[Kalzium] Crash on x86_64 while the code works on 32bit systems

Nicolas barnier barnier at recherche.enac.fr
Fri Oct 27 10:48:40 CEST 2006


Hi Carsten,

FaCiLe works great on our 64 bits machine and I don't see any FaCiLe 
related code
in your snippet, so it seems that your problem might rather come from 
the C/OCaml
interface code. I would suggest to fill in a form in the OCaml bug 
tracking system
http://caml.inria.fr/mantis/view_all_bug_page.php providing enough code 
so that
the Caml team will be able to reproduce your bug - you might even be 
able to remove
any call to FaCiLe to reduce the size of the code and still get the seg 
fault within
the C/OCaml stub-code.

Thank you for your interest in FaCiLe

-- Nicolas Barnier

> in my application I am using this code to do some facile/ocaml calculations:
>
> static value * solve_equation_closure = NULL;
> if (solve_equation_closure == NULL){
> · solve_equation_closure = caml_named_value("solve_equation");
> }
>
> return strdup(String_val(callback(*solve_equation_closure, 
> copy_string(eq)) ));
>
> On my 32bit machine this works, but on x86_64 it crashes with this backtrace
>
> Program received signal SIGSEGV, Segmentation fault.
> [Switching to Thread 46992874527856 (LWP 27127)]
> 0x00000000004d8180 in camlPervasives__$5e_135 ()
> Current language:  auto; currently c
> (gdb) where
> #0  0x00000000004d8180 in camlPervasives__$5e_135 ()
> #1  0x00000000619b6b80 in ?? ()
> #2  0x00000000004da828 in camlArray__make_matrix_69 ()
> #3  0x000000000063a378 in camlLexing__19 ()
> #4  0x0000000000000001 in ?? ()
> #5  0x00002abd619b6b38 in ?? ()
> #6  0x00000000004e24a4 in camlLexing__from_string_152 ()
> #7  0x00000000619b6b80 in ?? ()
> #8  0x000000000049c089 in camlCalc__create_equation_94 ()
> #9  0x00002abd619b6d90 in ?? ()
> #10 0x000000000049c0fb in camlCalc__solve_equation_99 ()
> #11 0x00007fff4fc7b7e0 in ?? ()
> #12 0x000000000049c0d8 in camlCalc__solve_equation_99 ()
> #13 0x00000000619b6b80 in ?? ()
> #14 0x00002abd619b6b38 in ?? ()
> #15 0x0000000000000010 in ?? ()
> #16 0x0000000000000000 in ?? ()
>
> Is it possible that libfacile is not 64bit ready? I have no other explanation 
> for this behaviour.
>
> Please keep kalzium at kde.org or myself in CC as I am not subscribed.
>
>   



More information about the Kalzium mailing list