[Caml-list] Heap corruption in C binding when callback raises exception

["Richard W.M. Jones" <rich@annexia.org>]

https://github.com/libguestfs/libguestfs/blob/master/mllib/visit-c.c

This code wraps a C function which recurses over a directory
structure, calling back into OCaml code for every file seen.

If the OCaml callback raises an exception then it's supposed to stop
the recursion and re-raise the exception in the main function.

This all works fine except when the OCaml callback raises an exception
on aarch64 (not x86_64).  The exception is re-raised fine, but a
subsequent call to Gc.compact dies in caml_oldify_local_roots.
Presumably something corrupts the local roots in some way (the stack
trace in gdb is unfortunately quite useless).

Can someone see what I'm doing wrong in the exception catching /
re-raising code or elsewhere?

The C function and callback are defined here:
https://github.com/libguestfs/libguestfs/blob/master/cat/visit.h

Rich.

-- 
Richard Jones