[splint-discuss] Variable argument type checking

[jhanley at dgtlrift.com]

Is there a way to inform splint of the possible types of variable  
arguments that should be expected to a function in a way like  
printflike.

A specific example:

int do_something( int action, ... /* args */ );
/* legal ways to call do_something:
    (void)do_something( 0 );
    (void)do_something( 1, const char * );
    (void)do_something( 2, const this_struct_type * );
    (void)do_something( 3, const that_struct_type * );
    (void)do_something( 4 );
    (void)do_something( 5, const this_struct_type *, const  
that_struct_type * );
    */