Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site npois.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!ihnp4!drutx!mtuxo!npois!adam
From: adam@npois.UUCP (Adam V. Reed)
Newsgroups: net.micro.att
Subject: UNIX PC lint bug
Message-ID: <352@npois.UUCP>
Date: Thu, 13-Jun-85 17:58:02 EDT
Article-I.D.: npois.352
Posted: Thu Jun 13 17:58:02 1985
Date-Received: Sat, 15-Jun-85 05:43:35 EDT
Organization: ATTIS, Neptune, NJ
Lines: 20

Lint is properly silent on the following short program on our VAX:

void exit();
main() {int usv = 0;exit(tough((unsigned short)usv));}
tough(usv) unsigned short usv; {return (int)usv;}

With the same program on our UNIX PC, lint outputs the bogus diagnostic

==============
function argument ( number ) used inconsistently
    tough( arg 1 )      lintest.c(3) :: lintest.c(2)

It shuts up if the middle line is changed to

main() {int usv = 0;exit(tough((unsigned short)usv+0));}

Has anyone either traced this bug or found a more elegant workaround?

							Adam Reed
							npois!adam