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
buf_comparison: s/kmemdup_user/memdup_user/
[smatch.git]
/
validation
/
overflow.c
blob
c2655e329bb8c6d73e01fd6f2b6e276034996ad5
1
extern
int
a
;
2
3
int
a
=
__INT_MAX__
*
2
;
4
5
int
foo
(
void
)
6
{
7
return
__INT_MAX__
*
2
;
8
}
9
10
/*
11
* check-name: overflow
12
* check-command: sparse -Wno-decl $file
13
*
14
* check-known-to-fail
15
* check-error-start
16
bug-overflow.c:3:21: warning: integer overflow in expression
17
bug-overflow.c:7:28: warning: integer overflow in expression
18
* check-error-end
19
*/