[CIL users] vglob does not catch static variable?

Hi, Suppose there is a statement static int a; In the vglob function, e.g., method vglob g = match g with GVarDecl(v, l) -> begin DoChildren end |GVar(v,init,loc) -> DoChildren | GFun(f, l) -> DoChildren | GType(t,l) -> DoChildren | GCompTag(c, l) ->

[CIL users] __builtin_va_arg problem

Hi, when I use cilly --dosimplify on a .c file which contains __builtin_va_arg, I got "error: expected specifier-qualifier-list before numeric constant" that line of code is " s = __builtin_va_arg(va, char const *);" if I just use cilly to compile this file, it is passed. So seems --dosimplif

Re: [CIL users] problem when compile apache using CIL

ater > LD, which should be a call to cilly, gets as input object code and > source code and cannot merge the two. > > So, make sure you define AR, and make sure the Makefiles use AR, and not > "ar". > > Also make sure you define LD appropriately. > > I hope this

[CIL users] problem when compile apache using CIL

hi, I am trying using CIL1.3.7 to compile and merge apache 2.2.11, here is the steps: 1: CC="cilly --merge" 2: change LTFLAGS in build/config_vars.mk, from --silent to --silent --tag=CC but I got errors " /home/zw/test/httpd-2.2.11/srclib/pcre/.libs/libpcre.a: could not read symbols: Archive ha