Re: [Caml-list] Segmentationfault on 64bit when called from C

[Xavier Leroy <Xavier.Leroy@inria.fr>]

On Tuesday 31 July 2012 14:59:14 Gerd Stolpmann wrote:

> The -shared switch generates a library that is prepared to be loaded
> with Dynlink. Dynlink registers the frametable.

You're right that .so libraries produced by -shared should only be
used in conjunction with Dynlink.  However, in this case the frame
table isn't the culprit, as the crash occurs before the GC even has a
chance to run.

On 07/31/2012 04:03 PM, Georg Martius wrote:

> ocamlopt -output-obj -o camlcode.o interface.c m1.ml
> gcc -fPIC -g -Wall  -c -I/usr/local/lib/ocaml interface.c
> gcc -fPIC -o test main.c camlcode.o  interface.o -L/usr/local/lib/ocaml -lunix 
> -lm -lasmrun -ldl
> 
> works, but 
> ocamlopt -o libmytest.so -output-obj  interface.c m1.ml
> gcc -Wall main.c  -lmytest -o test
> does not! Is it clear why it doesn't work?

See my comments on PR#5707.  In the latter case, the dynamic loader is
invoked and trashes registers r10 and r11, which ocamlopt uses to pass
arguments to your "foo" function.  We'll have to come up with a better
choice of parameter registers.

> So I get away with static linking for now.

Please do if at all possible.  ocamlopt was designed for static
linking, and the relatively recent addition of dynamic linking support
isn't completely mature yet.

- Xavier Leroy