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
Small ChangeLog tweak.
[official-gcc.git]
/
gcc
/
testsuite
/
gcc.c-torture
/
execute
/
vrp-5.c
blob
8df557cddaab0711fb2514accb8a2457d619651a
1
/* { dg-require-effective-target int32plus } */
2
extern
void
exit
(
int
);
3
extern
void
abort
();
4
5
void
test
(
unsigned int
a
,
unsigned int
b
)
6
{
7
if
(
a
<
5
)
8
abort
();
9
if
(
b
<
5
)
10
abort
();
11
if
(
a
+
b
!=
0U
)
12
abort
();
13
}
14
15
int
main
(
int
argc
,
char
*
argv
[])
16
{
17
unsigned int
x
=
0x80000000
;
18
test
(
x
,
x
);
19
exit
(
0
);
20
}
21
22
23