Sign in
kernel
/
pub
/
scm
/
devel
/
sparse
/
sparse-dev
/
refs/heads/fix-zephyr
/
.
/
validation
/
optim
/
cse-reg01.c
blob: 3ea283d35368f2568ffc825d96c9bbc84033a0fd [
file
] [
log
] [
blame
]
int
foo
(
int
a
,
int
b
)
{
int
x
=
a
+
b
,
y
=
~
b
;
return
(
x
<
y
)
==
(
y
>
x
);
}
/*
* check-name: cse-reg01
* check-command: test-linearize -Wno-decl $file
*
* check-output-ignore
* check-output-returns: 1
*/
