Dear All
I'm using CIL 1.3.6. This little C code:
enum enum1;
void foo() {
enum enum1 e1;
}
with this little feature:
let feature : featureDescr =
{ fd_name = "test";
fd_enabled = ref false;
fd_description = "example test";
fd_extraopt = [];
fd_doit =
(function (f: file) ->
Printf.printf "Number of globals: %i\n" (length f.globals)
);
fd_post_check = true;
}
and this CIL invocation:
cilly --domakeCFG --dotest tmp.c
gives me:
Number of globals: 3
The "enum enum1;" (GEnumTagDecl) is listed twice. Am I doing something
wrong or am I missing something basic? I would expect it to be in the
global list only once...
thanks
Marco
------------------------------------------------------------------------------
Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco, CA
-OSBC tackles the biggest issue in open source: Open Sourcing the Enterprise
-Strategies to boost innovation and cut costs with open source participation
-Receive a $600 discount off the registration fee with the source code: SFAD
http://p.sf.net/sfu/XcvMzF8H
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
