is it just me, or should this produce no warnings? typedef void V; static V foo(){return;} int main(/*@unused@*/int argc,/*@unused@*/char**argv){foo();return 0;} -- Aaron Davies aaron.davies at gmail.com