Bug 821153
Summary: | ocaml on armv7hl: some native binaries segfault with the new arm compiler backend | ||
---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | Richard W.M. Jones <rjones> |
Component: | ocaml | Assignee: | Richard W.M. Jones <rjones> |
Status: | CLOSED RAWHIDE | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
Severity: | unspecified | Docs Contact: | |
Priority: | unspecified | ||
Version: | 17 | CC: | c.david86, fedora-ocaml-list, rjones |
Target Milestone: | --- | ||
Target Release: | --- | ||
Hardware: | arm | ||
OS: | Unspecified | ||
Whiteboard: | |||
Fixed In Version: | Doc Type: | Bug Fix | |
Doc Text: | Story Points: | --- | |
Clone Of: | Environment: | ||
Last Closed: | 2012-06-03 22:08:50 UTC | Type: | Bug |
Regression: | --- | Mount Type: | --- |
Documentation: | --- | CRM: | |
Verified Versions: | Category: | --- | |
oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
Cloudforms Team: | --- | Target Upstream Version: | |
Embargoed: | |||
Bug Depends On: | |||
Bug Blocks: | 245418 |
Description
Richard W.M. Jones
2012-05-12 14:21:21 UTC
Possibly the working version was 1.17.36. (In reply to comment #1) > Possibly the working version was 1.17.36. Confirmed, it works with virt-sysprep 1.17.36. There's very little difference between the two versions, but at least I have something to work with now. Here is another program that segfaults: ocamlopt.opt -noassert -I internal -I public -I toolslib -I . -o mappings/gen_mappings.opt bigarray.cmxa str.cmxa toolslib.cmxa mappings/gen_mappings.cmx cd mappings && ./gen_mappings.opt /bin/sh: line 1: 17865 Segmentation fault ./gen_mappings.opt This is from the ocaml-camomile package, although it's worth noting that many other programs from the same package do work fine. (In reply to comment #3) > Here is another program that segfaults: > > ocamlopt.opt -noassert -I internal -I public -I toolslib -I . -o > mappings/gen_mappings.opt bigarray.cmxa str.cmxa toolslib.cmxa > mappings/gen_mappings.cmx > cd mappings && ./gen_mappings.opt > /bin/sh: line 1: 17865 Segmentation fault ./gen_mappings.opt > > This is from the ocaml-camomile package, although it's > worth noting that many other programs from the same > package do work fine. I contacted Benedikt Meurer (author of the new ARM backend) and he was able to reproduce this problem and says he will look into it. Upstream bug: http://caml.inria.fr/mantis/view.php?id=5623 Fixed upstream in revision 12548. http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/trunk/asmcomp/arm/emit.mlp?r1=12466&r2=12548&pathrev=12548 Fixed in ocaml-3.12.1-9. ocaml-3.12.1-9.fc17 has been submitted as an update for Fedora 17. https://admin.fedoraproject.org/updates/ocaml-3.12.1-9.fc17 ocaml-3.12.1-11.fc17 has been submitted as an update for Fedora 17. https://admin.fedoraproject.org/updates/ocaml-3.12.1-11.fc17 |