[splint-discuss] Variable argument type checking

[Roland Illig]

Richard O'Keefe schrieb:
> I don't know the context in which this is used.
> Clearly, however, there are going to be very few
> occasions where the caller does not know what to pass.

The ioctl(2) function on Unix-like systems is the primary example of
this calling style.

int ioctl(int filedes, int request, ...);

The request argument can be from thousands of predefined constants,
which also differ among the operating systems. So it is not easy to list
all cases in a platform-neutral program like Splint.

Roland