cent.com]
> Sent: woensdag 16 mei 2012 21:28
> To: cil-users@lists.sourceforge.net
> Subject: [CIL users] __builtin_offsetof
>
> Hi
>
> I would like CIL to ignore __builtin_offsetof().
>
> But I just can't get the types right. Is there some sort of
> 'anyType' or a wa
Hi
I would like CIL to ignore __builtin_offsetof().
But I just can't get the types right. Is there some sort of 'anyType' or a way
to ignore the types? Or perhaps a totally different approach?
Thanks.
(Sorry for flooding your mailinglist!)
diff -ur original/cil-1.4.0/src/cil.ml cil-1.4.0/src
