Sign in
gnu
/
gcc
/
e5cfb9cac1d7aba9a8ea73bfe7922cfaff9d61f3
/
.
/
gcc
/
testsuite
/
gcc.c-torture
/
execute
/
vrp-3.c
blob: bc0e490dc57f84e2a965bbd2a4e49d85a3c4a72a [
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
);
}