You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 488 Reporter: administrator Status: closed Resolution: not a bug Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Program received signal SIGSEGV, Segmentation fault.
0x804fb26 in bigarray_finalize (v=1076256400) at bigarray_stubs.c:402
402 if (-- b->proxy->refcount == 0) {
(gdb) bt
#0 0x804fb26 in bigarray_finalize (v=1076256400) at bigarray_stubs.c:402 #1 0x805e89e in sweep_slice (work=24427) at major_gc.c:232 #2 0x805ead1 in major_collection_slice () at major_gc.c:312 #3 0x805f0a7 in minor_collection () at minor_gc.c:163 #4 0x8051397 in alloc_small (wosize=2, tag=255) at alloc.c:58 #5 0x805bb10 in alloc_custom (ops=0x8064970, size=4, mem=0, max=1) at custom.c:33 #6 0x8052f4a in copy_int32 (i=-324403200) at ints.c:172 #7 0x80530c1 in int32_shift_left (v1=1075322900, v2=33) at ints.c:213 #8 0x805cd98 in interprete (prog=0x401e3008, prog_size=205868) at interp.c:836 #9 0x805e074 in caml_main (argv=0xbffffac4) at startup.c:381 #10 0x8050bee in main (argc=1, argv=0xbffffac4) at main.c:41
Sinon, j'ai essayé de compiler ocamlrund qui semble être l'exécuteur de
byte code avec le debug activé (en substitutant ocamlrund à ocamlrun
dans le répertoire de l'installation (ocaml-3.02-debug/bin)).
Malheureusement, je n'arrive pas à exécuter mon programme dessus :
J'ai testé avec O'Caml 3.01, le même bug apparait.
Peux-tu préciser d'abord si tu as ajouté du code C de ton cru, dans ton
programme. Si oui, c'est sûrement là qu'il faut chercher le problème.
Si non, il y a probablement un bug chez nous.
Original bug ID: 488
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
David Mentre David.Mentre@inria.fr writes:
J'ai testé avec O'Caml 3.01, le même bug apparait.
Une précision que j'avais oublié : j'utilise l'option -with-pthread pour
mon environnement.
Je ne sais pas si c'est vraiment plus significatif, mais la voici :
(gdb) r
Starting program: /afs/inria.fr/rocq/home/solidor/mentre/postdoc/development/foosayfisa/test/run_tests
[New Thread 14908 (manager thread)]
[New Thread 14907 (initial thread)]
[New Thread 14909]
crypto
file
logged_file
directory
message [New Thread 14910]
[New Thread 14911]
node [New Thread 14912]
Program received signal SIGSEGV, Segmentation fault.
0x804fb26 in bigarray_finalize (v=1076256400) at bigarray_stubs.c:402
402 if (-- b->proxy->refcount == 0) {
(gdb) bt
#0 0x804fb26 in bigarray_finalize (v=1076256400) at bigarray_stubs.c:402
#1 0x805e89e in sweep_slice (work=24427) at major_gc.c:232
#2 0x805ead1 in major_collection_slice () at major_gc.c:312
#3 0x805f0a7 in minor_collection () at minor_gc.c:163
#4 0x8051397 in alloc_small (wosize=2, tag=255) at alloc.c:58
#5 0x805bb10 in alloc_custom (ops=0x8064970, size=4, mem=0, max=1) at custom.c:33
#6 0x8052f4a in copy_int32 (i=-324403200) at ints.c:172
#7 0x80530c1 in int32_shift_left (v1=1075322900, v2=33) at ints.c:213
#8 0x805cd98 in interprete (prog=0x401e3008, prog_size=205868) at interp.c:836
#9 0x805e074 in caml_main (argv=0xbffffac4) at startup.c:381
#10 0x8050bee in main (argc=1, argv=0xbffffac4) at main.c:41
Sinon, j'ai essayé de compiler ocamlrund qui semble être l'exécuteur de
byte code avec le debug activé (en substitutant ocamlrund à ocamlrun
dans le répertoire de l'installation (ocaml-3.02-debug/bin)).
Malheureusement, je n'arrive pas à exécuter mon programme dessus :
pochi(mentre):
/<1>development/foosayfisa [1353] /local/mentre/install/ocaml-3.02-debug/bin/ocamlmktop -thread unix.cma threads.cma bigarray.cma -o debugcaml/<1>development/foosayfisa [1354] ./debugcaml ./test/run_tests[...]
pochi(mentre):
File "./test/run_tests", line 1, characters 0-1:
Illegal character (\127)
Amicalement,
d.
David.Mentre@inria.fr
Opinions expressed here are only mine.
The text was updated successfully, but these errors were encountered: