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
Don't try calling lsl when file is missing.
[splint-patched.git]
/
test
/
prefixes.c
blob
86b9396e3fcba525d5544c384d7aae993366f835
1
typedef
int
Tin_ty
;
2
typedef
int
QINT
;
3
typedef
int
tint
;
4
5
/*@-varuse@*/
6
static int
FSint
;
7
static int
TYint
;
8
static int
V3int
;
9
static int
sint
;
10
static int
Xqmxt
;
11
static int
XqmXt
;
12
/*@=varuse@*/
13
14
extern
int
Gint
;
15
extern
int
aGb_Xint
;
16
17
/*@external@*/
int
f
(
void
);
18
extern
int
g
(
void
);
19
20
# define mf() \
21
do { int m_x; { int y; }} while (false)
22
23
24