Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / test / ansireserved.c
blobd4815f00133338537cb1b940893d2875da86260e
1 int decimal_point;
2 int srand;
3 int labs;
4 int _x;
5 int atan2f (void);
7 typedef int wcst;
9 # define EVANS 72
11 int isaFish (void)
13 /*@unused@*/ int powl;
14 /*@unused@*/ float mem; /* okay */
15 /*@unused@*/ float memory;
16 /*@unused@*/ int wctomb; /* okay as local */
18 return 3;