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
db/insert_manual_states.pl: remove debug output
[smatch.git]
/
validation
/
optim
/
or-and-constant1.c
blob
aa673b905304bfa62b17aa5a2e1d510cd97d7c20
1
unsigned int
and_or_equ
(
unsigned int
a
)
2
{
3
return
(
a
|
3
) &
3
;
4
}
5
6
int
and_or_eqs
(
int
a
)
7
{
8
return
(
a
|
3
) &
3
;
9
}
10
11
unsigned int
or_and_equ
(
unsigned int
a
)
12
{
13
return
(
a
&
3
) |
3
;
14
}
15
16
int
or_and_eqs
(
int
a
)
17
{
18
return
(
a
&
3
) |
3
;
19
}
20
21
/*
22
* check-name: or-and-constant1
23
* check-command: test-linearize -Wno-decl $file
24
* check-known-to-fail
25
*
26
* check-output-ignore
27
* check-output-pattern(4): ret\\..*\\$3
28
* check-output-excludes: or\\.
29
*/