Hello list,
i noticed that given the following code
struct my_struct {
uint64_t field1 ;
uint64_t field2 ;
};
extern struct my_struct my_var ;
the module won't mark the "struct my_struct" type definition as
referenced after visiting "extern struct my_struct my_var ;"
as a result the type definition gets deleted leaving "struct my_struct"
as undefined.
Generally i believe that in MarkReachableVisitor->vglob method when
visiting a GVarDecl it should not mark the var as referenced (as it is
just defined and not referenced at this point), but it should find it's
type definition, if possible, and mark the typeinfo as referenced.
Thank you,
Zakkak Foivos
------------------------------------------------------------------------------
The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE:
Pinpoint memory and threading errors before they happen.
Find and fix more than 250 security defects in the development cycle.
Locate bottlenecks in serial and parallel code that limit performance.
http://p.sf.net/sfu/intel-dev2devfeb
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
