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
free_strict: silence some kfree_skb() false positives
[smatch.git]
/
validation
/
bad-type-twice1.c
blob
a9ba182cbc18d62d07d8efee976c62a00d735076
1
static unsigned long
foo
(
unsigned long
val
,
void
*
ref
)
2
{
3
if
(
val
>=
ref
)
4
val
=
0
;
5
return
val
;
6
}
7
8
/*
9
* check-name: bad-type-twice1
10
*
11
* check-error-start
12
bad-type-twice1.c:3:17: error: incompatible types for operation (>=):
13
bad-type-twice1.c:3:17: unsigned long val
14
bad-type-twice1.c:3:17: void *ref
15
* check-error-end
16
*/