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
PR testsuite/52641
[official-gcc.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp44.c
blob
a2df852c7bf4f38c4a2198a68c74d4deded0ead9
1
/* { dg-do link } */
2
/* { dg-options "-O2" } */
3
4
extern
void
link_error
(
void
);
5
6
void
test1
(
int
i
)
7
{
8
if
(
i
>= -
5
&&
i
<=
8
)
9
{
10
unsigned int
j
=
i
+
1
;
11
if
(
j
== -
5
)
12
link_error
();
13
if
(
j
==
10
)
14
link_error
();
15
}
16
}
17
18
void
test2
(
unsigned int
i
)
19
{
20
if
(
i
>= -
5
||
i
<=
8
)
21
{
22
int
j
=
i
;
23
if
(
j
== -
6
)
24
link_error
();
25
if
(
j
==
9
)
26
link_error
();
27
}
28
}
29
30
int
main
() {
return
0
; }