--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Runtime problem on ARM



On Fri, Aug 9, 2013 at 1:54 PM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:
> This is an interesting development. Is this 32-bit ARM or 64-bit ARM?

This is 32-bit ARM.  Support for 64-bit ARM is coming, but is still in
the works.

> The problem you are encountering on ARM seems to be with a bit of initialization code (run at start-up) in a low-level library, for a functionality that Frama-C does not use. Therefore, a workaround is to disable the functionality as in the attached patch. This does not seem to cause any regression (I am on x86-64).
>
> I have no idea what is different about the marshaling of closures on ARM. Quick Googling does not reveal it as being either unsupported or as operating on different principles from the other architectures.
>
> I will forward your report to the anonymous author(s) of unmarshal.ml.

Wow, what a fast response!  Thank you very much for the patch.  I will
do a build with it and report back on the results.  Regards,
-- 
Jerry James
http://www.jamezone.org/