[splint-discuss] recognize typedef'd void?

[Ed Beroset]

Aaron Davies wrote:
> 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;}

I can see why it would produce a warning.  It's because it is trying to 
support the notion of abstract types in support of information hiding. 
It doesn't seem to notice that V is void -- I'm not sure I'd classify 
this as a bug, though.

Ed