Sign in
llvm
/
llvm-test-suite
/
195afe069d3e2ba1a1bd352d6f44ddf318201371
/
.
/
SingleSource
/
Regression
/
C
/
gcc-c-torture
/
execute
/
vrp-3.c
blob: 0d6856818cc31e234599d44855a05bcaeba869cc [
file
] [
log
] [
blame
]
extern
void
abort
();
extern
void
exit
(
int
);
int
f
(
int
a
)
{
if
(
a
<
12
)
{
if
(
a
>
-
15
)
{
a
=
a
>
0
?
a
:
-
a
;
if
(
a
==
2
)
return
0
;
return
1
;
}
}
return
1
;
}
int
main
(
int
argc
,
char
*
argv
[])
{
if
(
f
(-
2
))
abort
();
exit
(
0
);
}