[CIL users] ANNOUNCE: CIL 1.6.0

2013-03-22 Thread Gabriel Kerneis
Dear all, CIL 1.6.0 is available from http://sourceforge.net/projects/cil/files/cil/cil-1.6.0.tar.gz http://sourceforge.net/projects/cil/files/cil/cil-1.6.0.tar.gz.asc This release adds support for static local variables and GCC’s "computed gotos" (or "labels as values"). For more details, p

Re: [CIL users] Translate CIL to C

2013-03-22 Thread Gabriel Kerneis
On Fri, Mar 22, 2013 at 05:49:08PM +1100, SHI, Yao wrote: > I am using CIL for some optimizations. The main page said that CIL can do > source-to-source C code transformation. Does it mean that we can translate > CIL back to C code (regardless the program is readable) ? I'm afraid I don't understa