repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merged with mainline at revision 128810.
[official-gcc.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp29.c
blob
0a370f7d82e1b9f775f512c44699c766f3f3cb55
1
/* { dg-do run } */
2
/* { dg-options "-O2" } */
3
#include <limits.h>
4
5
extern
void
abort
(
void
);
6
7
void
decCompareOp
(
int
result
)
8
{
9
if
(
result
!= (
int
) (
INT_MAX
+
1U
))
10
{
11
result
= -
result
;
12
if
(
result
!= (
int
) (
INT_MAX
+
2U
))
13
abort
();
14
}
15
}
16
17
int
main
()
18
{
19
decCompareOp
(
INT_MAX
);
20
return
0
;
21
}