Re: [Caml-list] segfault in simple program with 4.02 native

["Christoph Höger" <christoph.hoeger@tu-berlin.de>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

output_string calls unsafe_output_string after getting the string
length. Both are external. Could you attempt to print the string
length before you print the string (don't forget to flush the buffer).
My take is, the input argument is not a string at all.

Am 06.09.2014 00:13, schrieb Richard W.M. Jones:
> On Fri, Sep 05, 2014 at 06:06:55PM -0400, Ashish Agarwal wrote:
>> I increased the stack size to 65532, which is apparently the max
>> allowed on a Mac, and it doesn't change the behavior.
> 
> Yup.  I was able to reproduce this on the non-core version, and
> indeed increasing the stack to unlimited on Linux does not help.
> 
> The stack trace is simple:
> 
> #0  0x00000000004543f4 in camlPervasives__output_string_1198 () #1
> 0x0000000000472093 in camlCamlinternalFormat__output_acc_60624 () 
> #2  0x0000000000473a32 in camlPrintf__fun_1062 () #3
> 0x000000000041e776 in camlApp__entry () #4  0x000000000041c5f9 in
> caml_program () #5  0x0000000000497f7e in caml_start_program () #6
> 0x000000000049813d in __libc_csu_init () #7  0x00007ffff7317d65 in
> __libc_start_main () from /lib64/libc.so.6 #8  0x000000000041c2e9
> in _start ()
> 
> I'm just installing debuginfo so I can get more symbols ..
> 
> Rich.
> 


- -- 
Christoph Höger

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Übersetzerbau und Programmiersprachen

Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin

Tel.: +49 (30) 314-24890
E-Mail: christoph.hoeger@tu-berlin.de
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlQKNqYACgkQhMBO4cVSGS8/egCglmUwz2XBaRkkCFwvSVaIlEgN
HrgAnRRN0mzuu1GlYgclglAK7961sGXp
=1tGf
-----END PGP SIGNATURE-----