Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

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

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