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
sm_buf: don't return the maximum store buffer size
[smatch.git]
/
validation
/
sm_propagate.c
blob
f07d6f4211eedc10ab0268f0b4d495ef44a5d1e2
1
#include
"check_debug.h"
2
3
int
frob
();
4
5
int
func
(
int
*
p
)
6
{
7
int
ret
;
8
9
ret
=
frob
();
10
if
(
ret
<
0
)
11
return
-
1
;
12
return
0
;
13
}
14
/*
15
* check-name: Smatch propagate return codes
16
* check-command: smatch -p=kernel -I.. sm_propagate.c
17
*
18
* check-output-start
19
sm_propagate.c:11 func() info: why not propagate 'ret' from frob() instead of -1?
20
* check-output-end
21
*/