Finny Merrill Wed, 06 Mar 2002 13:44:28 -0800
I was thinking of having a /*@range ...@*/ clause for function parameters and return values, like:
void handle_ferror(int input /*@range 0-UCHAR_MAX, EOF@*/) { }