repo.or.cz
/
smatch.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
smdb.py: update list of types
[smatch.git]
/
validation
/
sm_inline2.c
blob
51636452e0c3e7fcc5139fed7af83f1e3215afc0
1
#include <stdio.h>
2
#include <string.h>
3
#include
"check_debug.h"
4
5
int
frob
(
int
*
x
)
6
{
7
*
x
= *
x
*
3
;
8
return
0
;
9
}
10
11
int
*
x
;
12
int
main
(
void
)
13
{
14
frob
(
x
);
15
if
(
x
)
16
return
1
;
17
return
0
;
18
}
19
20
21
/*
22
* check-name: smatch: inline #2
23
* check-command: smatch -I.. sm_inline2.c
24
*
25
* check-output-start
26
sm_inline2.c:15 main() warn: variable dereferenced before check 'x' (see line 14)
27
* check-output-end
28
*/