Anyone? I really guess I'm doing something silly because if this were a
bug, it would have been discovered long ago...
thanks
Marco
Marco Trudel wrote:
> 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
