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_casts3.c
blob
fa42bb14b533c04a8874e4197bfc02b79f4074b2
1
#include
"check_debug.h"
2
3
unsigned int
a
;
4
int
b
;
5
int
func
(
void
)
6
{
7
b
=
a
;
8
__smatch_implied
(
a
);
9
__smatch_implied
(
b
);
10
}
11
12
/*
13
* check-name: smatch: casts #3
14
* check-command: smatch -I.. sm_casts3.c
15
*
16
* check-output-start
17
sm_casts3.c:8 func() implied: a = ''
18
sm_casts3.c:9 func() implied: b = 's32min-s32max'
19
* check-output-end
20
*/