Re: [CIL users] incomplete types

[Elnatan R. <el...@cs...>]

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).