ocaml-maint team mailing list archive

[Dave Martin <dave.martin@xxxxxxxxxx>]

Just for completeness, here's what happens if I manually switch back to
ARM when we hit caml_start_program:

# gdb --args /mnt/a.out
GNU gdb (Ubuntu/Linaro 7.2-1ubuntu11) 7.2
Copyright (C) 2010 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "arm-linux-gnueabi".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /mnt/a.out...(no debugging symbols found)...done.
(gdb) set arm force-mode thumb
(gdb) b *0x14f94
Breakpoint 1 at 0x14f94
(gdb) r
Starting program: /mnt/a.out 

Breakpoint 1, 0x00014f94 in caml_start_program ()
(gdb) disable 1
(gdb) set arm force-mode auto
(gdb) set $cpsr &= ~0x20
(gdb) c
Continuing.

Program exited normally.

-- 
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