--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] CHAR_BIT != 8



Hi list.  I'm interested in using frama-c with a couple of architectures
with CHAR_BIT being some value other than 8 (16 in one case, 24 in
another).  I can see that the first problem will be CIL; there's no mention
of CHAR_BIT in machdep_*.ml, and there are a lot of suspicious
multiplications by 8 in the code.  Presuming I am able to fix CIL (in fact
I have a likely looking patch developed by a former colleague, although I
don't know whether it's complete), does anyone know what will break next?

Ned.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120206/6b42b0e6/attachment.htm>