repo.or.cz
/
splint-patched.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Some consistency changes to library & headers flags.
[splint-patched.git]
/
test
/
internal.c
blob
dc5c366c9935c2fd8bc24045262a4b20b46c75fa
1
/*@-varuse@*/
2
/*1234567890123456789012345678901XXXXXXXX*/
3
int
iwonderhowmanycharactersaresignificant1
(
void
);
4
int
iwonderhowmanycharactersaresignificant2
(
void
);
5
int
manycharactersaresignificant1
(
void
);
6
int
manycharactersaresignificant2
(
void
);
7
8
extern
int
fl
;
9
10
void
f1
(
void
)
11
{
12
int
e1
;
13
char
*
el
;
14
int
alphabet
;
15
int
*
Alphabet
;
16
int
alphabet1soup
;
17
int
*
alphabetlsoup
;
18
int
lcase
;
19
20
{
21
int
e1
;
22
int
a1phabet
;
23
char
*
lcAse
;
24
int
s52
;
25
int
sS2
;
26
int
s5Z
;
27
int
numO
;
28
int
num0
;
29
}
30
}
31