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
introduce: smatch_data/kernel.no_inline_functions
[smatch.git]
/
validation
/
sm_efault.c
blob
e3d52adb5583b86af4b40c5ef0dc114ac24853a3
1
#include
"check_debug.h"
2
3
int
clear_user
();
4
5
int
func
(
int
*
p
)
6
{
7
int
ret
;
8
9
ret
=
clear_user
();
10
if
(
ret
)
11
return
ret
;
12
return
0
;
13
}
14
/*
15
* check-name: smatch return -EFAULT
16
* check-command: smatch -p=kernel -I.. sm_efault.c
17
*
18
* check-output-start
19
sm_efault.c:11 func() warn: maybe return -EFAULT instead of the bytes remaining?
20
* check-output-end
21
*/