[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 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

[CIL users] returning result of void function

test.c:8: Error: Return statement with a value in function returning void Error in doStatement (Errormsg.Error) Error: Cabs2cil had some errors I think CIL should not warn in this example. Thanks. - Jan void test1() { return; } void test() { return test1(); } int main() { test();