OSDN Git Service
(root)
/
pf3gnuchains
/
gcc-fork.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
PR rtl-optimization/52139
[pf3gnuchains/gcc-fork.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp29.c
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
}