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_bitwise2.c
blob
faa8e3202c6a79e1063c321df244b0504c62a735
1
#include
"check_debug.h"
2
3
unsigned int
x
;
4
int
y
;
5
void
test
(
void
)
6
{
7
if
(
x
&
0x1
)
8
__smatch_implied
(
x
);
9
if
(
y
&
0x4
)
10
__smatch_implied
(
y
);
11
12
}
13
14
/*
15
* check-name: smatch bitwise #2
16
* check-command: smatch -I.. sm_bitwise2.c
17
*
18
* check-output-start
19
sm_bitwise2.c:8 test() implied: x = '1-u32max'
20
sm_bitwise2.c:10 test() implied: y = 's32min-(-1),4-s32max'
21
* check-output-end
22
*/