Sign in
gnu
/
gcc
/
ab810952eb7c061e37054ddd1dfe0aa033365131
/
.
/
gcc
/
testsuite
/
gcc.c-torture
/
execute
/
vrp-2.c
blob: 69ed3e702810fd350167b962682f56c4f7add154 [
file
] [
log
] [
blame
]
extern
void
abort
();
extern
void
exit
(
int
);
int
f
(
int
a
)
{
if
(
a
!=
2
)
{
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
);
}