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
Fix warning with -Wsign-compare -Wsystem-headers
[official-gcc.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp53.c
blob
c2b59433a51b03a24669c08d0057c0bb8daf63eb
1
/* { dg-do compile } */
2
/* { dg-options "-O2 -fdump-tree-vrp1 -fno-tree-ccp" } */
3
4
int
5
f1
(
int
x
)
6
{
7
x
&=
0xff
;
8
x
+=
0x400
;
9
x
&=
0x7ff
;
10
return
x
;
11
}
12
13
int
14
f2
(
int
x
)
15
{
16
x
&=
0xff
;
17
x
+=
0x5400
;
18
x
|=
0x4400
;
19
return
x
;
20
}
21
22
/* { dg-final { scan-tree-dump-not "\& (2047|0x7ff)" "vrp1" } } */
23
/* { dg-final { scan-tree-dump-not "\\| (17408|0x4400)" "vrp1" } } */