ocaml-maint team mailing list archive

[Stéphane Glondu <glondu@xxxxxxxxxx>]

Attached are all *.s and *.o files generated by ocamlopt on an empty .ml
file. I just tried calling ld manually as shown above (replacing the
temporary filename by a.out.startup.o) in an up-to-date oneiric chroot,
and the resulting executable segfaults.

** Attachment added: "Files generated by ocamlopt for an empty program"
   https://bugs.launchpad.net/ubuntu/+source/ocaml/+bug/810402/+attachment/2271375/+files/ocamlopt-ubuntu-armel.tar.gz

-- 
You received this bug notification because you are a member of Debian
OCaml Maintainers, which is subscribed to ocaml in Ubuntu.
https://bugs.launchpad.net/bugs/810402

Title:
  all native ocaml programs segfault on armel

Status in Linaro Binutils:
  New
Status in “binutils” package in Ubuntu:
  Confirmed
Status in “ocaml” package in Ubuntu:
  Confirmed
Status in “binutils” source package in Oneiric:
  Confirmed
Status in “ocaml” source package in Oneiric:
  Confirmed

Bug description:
  Starting from version 2.21.52.20110606-1ubuntu1 (in oneiric), all
  programs produced by ocamlopt segfault on Ubuntu/armel. The problem
  disappears after downgrading binutils to 2.21.51.20110421-6ubuntu1.

  Steps to reproduce: echo > empty.ml && ocamlopt empty.ml && ./a.out

  Using the "-S" option of ocamlopt might be useful, to have a look at
  the generated assembly code, but I don't know what to look for... I
  hope someone more familiar with binutils code can help.

  I found that while investigating the recent build failures of ocaml
  stuff or armel. Everything works find in the armel port of Debian.

To manage notifications about this bug go to:
https://bugs.launchpad.net/binutils-linaro/+bug/810402/+subscriptions