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 ty
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 define
