Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006077OCamlOCaml generalpublic2013-07-16 04:012013-07-16 18:41
Reporterberenger 
Assigned Tolefessan 
PrioritynormalSeveritycrashReproducibilityalways
StatusresolvedResolutionduplicate 
Platformx86_64OSUbuntuOS Version12.04
Product Version 
Target VersionFixed in Version 
Summary0006077: Program received signal SIGSEGV, Segmentation fault.
Descriptionsegfault in invert_pointer_at.

The bug also happens with OCaml 4.00.0 on my system.
Steps To Reproduce# opam --version
1.0.1
# gdb opam
(gdb) r repository add spoc http://www.algo-prog.info/spoc/distribution/opam [^]
(gdb) r update
Additional InformationStarting program: /home/berenger/bin/opam update
Synchronizing ~/.opam/repo/spoc with http://www.algo-prog.info/spoc/distribution/opam. [^]
Synchronizing ~/.opam/repo/default with http://opam.ocamlpro.com. [^]
The following package has been UPDATED upstream:
 - SPOC.130624

Program received signal SIGSEGV, Segmentation fault.
0x000000000061fdd4 in invert_pointer_at ()
(gdb) where
#0 0x000000000061fdd4 in invert_pointer_at ()
#1 0x000000000061ffbb in do_compaction ()
#2 0x0000000000620464 in caml_compact_heap ()
0000003 0x00000000006206de in caml_compact_heap_maybe ()
0000004 0x0000000000612e4c in caml_major_collection_slice ()
0000005 0x0000000000613544 in caml_minor_collection ()
0000006 0x00000000006117f3 in caml_garbage_collection ()
0000007 0x00000000006216fc in caml_system__code_begin ()
0000008 0x00000000005e1d84 in camlParsing__loop_1076 () at parsing.ml:147
0000009 0x00000000005e1c75 in camlParsing__loop_1076 () at parsing.ml:145
0000010 0x00000000005e24f1 in camlParsing__yyparse_1071 () at parsing.ml:160
0000011 0x00000000004fb876 in camlOpamParser__main_1666 ()
0000012 0x000000000050397a in camlOpamFile__of_string_2269 ()
0000013 0x00000000004fe898 in camlOpamFile__fun_5674 ()
0000014 0x0000000000506ba4 in camlOpamFile__with_time_2732 ()
0000015 0x00000000004b77b9 in camlOpamState__fun_3210 ()
0000016 0x00000000005e3b70 in camlSet__fold_1244 () at set.ml:310
0000017 0x00000000005e3b5b in camlSet__fold_1244 () at set.ml:310
0000018 0x00000000005e3b5b in camlSet__fold_1244 () at set.ml:310
0000019 0x00000000005e3b5b in camlSet__fold_1244 () at set.ml:310
0000020 0x00000000005e3b5b in camlSet__fold_1244 () at set.ml:310
0000021 0x00000000005e3b5b in camlSet__fold_1244 () at set.ml:310
0000022 0x00000000004bcc14 in camlOpamState__load_state_2111 ()
0000023 0x00000000004bd133 in camlOpamState__rebuild_state_cache_2174 ()
0000024 0x00000000004d0e0b in camlOpamClient__update_aux_1907 ()
0000025 0x00000000004edce4 in camlOpamFilename__with_flock_1450 ()
0000026 0x00000000004edce4 in camlOpamFilename__with_flock_1450 ()
#27 0x00000000004edce4 in camlOpamFilename__with_flock_1450 ()
0000028 0x00000000004edce4 in camlOpamFilename__with_flock_1450 ()
0000029 0x00000000004edce4 in camlOpamFilename__with_flock_1450 ()
#30 0x00000000005641c4 in camlCmdliner__eval_term_2170 () at src_ext/cmdliner/src/cmdliner.ml:1142
#31 0x0000000000564672 in camlCmdliner__eval_choice_2211 () at src_ext/cmdliner/src/cmdliner.ml:1178
0000032 0x00000000004b71bf in camlOpamMain__entry ()
0000033 0x00000000004acf89 in caml_program ()
0000034 0x00000000006218da in caml_start_program ()
0000035 0x0000000000610355 in caml_main ()
0000036 0x0000000000610390 in main ()
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0005757closeddoligez GC compaction bug 

-  Notes
(0009782)
lefessan (developer)
2013-07-16 07:10

I think it is a duplicate of 0005757, that was fixed after 4.00.0. Have you been able to reproduce the bug with an OCaml version 4.00.1 ?
(0009783)
berenger (reporter)
2013-07-16 08:53

Yes, the bug also manifests itself with
opam switch 4.01.0dev+trunk
(0009784)
berenger (reporter)
2013-07-16 09:23

the bug also manifests itself with
4.02.0dev+trunk
(0009785)
berenger (reporter)
2013-07-16 09:50

The bug is probably the corrected one: I did not recompile my OPAM to test.
I was wrongly assuming OPAM is recompiled upon an opam switch.

Sorry for the false alarm,
F.

- Issue History
Date Modified Username Field Change
2013-07-16 04:01 berenger New Issue
2013-07-16 07:08 lefessan Relationship added duplicate of 0005757
2013-07-16 07:10 lefessan Note Added: 0009782
2013-07-16 07:10 lefessan Assigned To => lefessan
2013-07-16 07:10 lefessan Status new => feedback
2013-07-16 08:53 berenger Note Added: 0009783
2013-07-16 08:53 berenger Status feedback => assigned
2013-07-16 09:23 berenger Note Added: 0009784
2013-07-16 09:50 berenger Note Added: 0009785
2013-07-16 18:41 lefessan Status assigned => resolved
2013-07-16 18:41 lefessan Resolution open => duplicate


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker