[CIL users] gotos

2009-12-01 Thread Mauro Baluda
Is it possible to avoid CIL to add goto's when they are not present in the original code? I don't mind to have code repeated if the only reason for CIL to add gotos is this thanks Mauro -- Computer science is no more about computers than astronomy is about telescopes - Edsger W. Dijkstra ---

[CIL users] bug in handling __builtin_constant_p?

2009-12-01 Thread John Regehr
A Linux kernel header file contains code like the example below, which causes CIL to bomb with a complaint about non-constant array size. John Regehr int foo (int bit) { if (__builtin_constant_p(bit)) { return sizeof (char[bit]); } else { return 0; } } -

[CIL users] Compiling on Windows

2009-12-01 Thread Avishay Ben Shabtai
hi all Please Help did someone has successfully built cil package on windows since i am struggling step by step for example i found out that i need to change: Makefile.ocaml to use -cc cl as compile parameter Best Regards, Avishay -