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
/
charlit.c
blob
f930f9229cd19d81923030fff53b94b6e4cb7fbc
1
int
f
(
void
)
2
{
3
int
x
=
'a'
;
4
double
z
=
3
;
5
6
x
=
x
+
'c'
+
2
+
z
;
7
8
return
'a'
;
9
}
10
11
short
s
[] = {
0
, -
1
} ;
12
unsigned
u
= -
3
;