Some consistency changes to library & headers flags.
[splint-patched.git] / test / internal.c
blobdc5c366c9935c2fd8bc24045262a4b20b46c75fa
1 /*@-varuse@*/
2 /*1234567890123456789012345678901XXXXXXXX*/
3 int iwonderhowmanycharactersaresignificant1 (void);
4 int iwonderhowmanycharactersaresignificant2 (void);
5 int manycharactersaresignificant1 (void);
6 int manycharactersaresignificant2 (void);
8 extern int fl;
10 void f1 (void)
12 int e1;
13 char *el;
14 int alphabet;
15 int *Alphabet;
16 int alphabet1soup;
17 int *alphabetlsoup;
18 int lcase;
21 int e1;
22 int a1phabet;
23 char *lcAse;
24 int s52;
25 int sS2;
26 int s5Z;
27 int numO;
28 int num0;