[CIL users] getting GCompTagDecl and GEnumTagDecl twice

[Marco T. <ma...@mt...>]

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