On 23 December 2013 21:27, Richard Jones <rjo...@redhat.com> wrote: > It's an Aarch64 binary so it won't run on 32 bit ARM at all. However I > guess you meant does the equivalent program run on 32 bit ARM, and the > answer is yes, but that doesn't tell us much because OCaml uses separate > code generators for 32 and 64 bit ARM.
Yes, that's why I said "equivalent binary". It's a useful check because it can tell us whether the program is using things our linux-user emulation doesn't get right at all (examples: multiple threads; some interactions of signals and blocking syscalls); so it divides the bug into "probably in linux-user" vs "probably a target-arm bug". I see you've tracked the issue down in this case, though. thanks -- PMM