I think you are looking for the 'cdefined' field of Cil.compinfo. On Mon, 2009-04-06 at 15:44 +0200, Olivier Crameri wrote: > Hi all, > > I've been having a few problems with incomplete types in CIL. > > Apparently, Cil.isCompleteType considers a structure with no fields as > being a complete type. I don't know if this is on purpose, or if this > is a bug. It seems to be valid C, but I can't see any use of having a > structure defined with no fields. The problem is that incomplete > structures also appear in CIL as structures with no fields, so in my > code I cannot make the difference and I end up generating code that > doesn't compile (such as calling sizeof on an incomplete structure).
------------------------------------------------------------------------------ This SF.net email is sponsored by: High Quality Requirements in a Collaborative Environment. Download a free trial of Rational Requirements Composer Now! http://p.sf.net/sfu/www-ibm-com _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
