Re: [CIL users] static const

2012-09-17 Thread Gabriel Kerneis
Dear Jan, On Mon, Jul 23, 2012 at 05:45:06PM +0200, Jan Smets wrote: > void f() { > static const unsigned short a = 22; > static const unsigned short b = a - 1; > ... > } Please try the latest CIL from git and use the flag --noMakeStaticGlobal. It solves your issue. Kind regards, -- Gabr

[CIL users] ANNOUNCE: static local variables and computed gotos

2012-09-17 Thread Gabriel Kerneis
Dear all, I'd like to highlight two new features that have made it into CIL recently: support for static local variables and GCC's "computed gotos" (or "labels as values"). Both of them are disabled by default for backwards compatibility. However, the former changes a bit how GVar constructors a

[CIL users] Merging and Linking

2012-09-17 Thread Jonathan Kotker
Hello (CIL) World. I have a question about the CIL merger. Up until this point, I have been able to successfully pass the "-c" flag to cilly to prevent it from attempting to link the final result, since the tool I am writing that uses CIL does not assume that the code provided for analysis has a "