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: 5623 Reporter: Richard Jones Assigned to: meurer Status: closed (set by @xavierleroy on 2015-12-11T18:04:50Z) Resolution: fixed Priority: normal Severity: crash Platform: arm7hl OS: Linux OS Version: Fedora 17 Version: 3.12.1 Category: back end (clambda to assembly) Monitored by: "Richard Jones"
Bug description
The new ARM backend (from OCaml SVN) generates bad code which segfaults when camomile 0.8.3 is being built.
Ok, this bug was quite tricky. Actually the Thumb-2 TBH instruction used to implement the Lswitch cannot handle backward jumps, which wasn't handled properly by the emitter. This should be fixed in trunk and 4.00 with revision 12548.
Original bug ID: 5623
Reporter: Richard Jones
Assigned to: meurer
Status: closed (set by @xavierleroy on 2015-12-11T18:04:50Z)
Resolution: fixed
Priority: normal
Severity: crash
Platform: arm7hl
OS: Linux
OS Version: Fedora 17
Version: 3.12.1
Category: back end (clambda to assembly)
Monitored by: "Richard Jones"
Bug description
The new ARM backend (from OCaml SVN) generates bad code which segfaults when camomile 0.8.3 is being built.
Steps to reproduce
Using OCaml from SVN, on arm7hl, do:
wget 'http://prdownloads.sourceforge.net/camomile/camomile-0.8.3.tar.bz2'
bzcat camomile-0.8.3.tar.bz2 | tar xf -
cd camomile-0.8.3
./configure
make
The build will segfault when it runs the 'gen_mappings' program.
Additional information
There is a thread about this on caml-list:
https://sympa.inria.fr/sympa/arc/caml-list/2012-05/msg00119.html
The text was updated successfully, but these errors were encountered: