--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on February 2012 ---
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>