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
Remove old autovect-branch by moving to "dead" directory.
[official-gcc.git]
/
old-autovect-branch
/
gcc
/
testsuite
/
gcc.c-torture
/
execute
/
20041114-1.c
blob
4f82f8aa22950be68379e17d8c5bee0a9519621b
1
/* Verify that
2
3
var <= 0 || ((long unsigned) (unsigned) (var - 1) < MAX_UNSIGNED_INT)
4
5
gets folded to 1. */
6
7
#include <limits.h>
8
9
void
abort
(
void
);
10
void
link_failure
(
void
);
11
12
volatile
int
v
;
13
14
void
15
foo
(
int
var
)
16
{
17
if
(!(
var
<=
0
18
|| ((
long unsigned
) (
unsigned
) (
var
-
1
) <
UINT_MAX
)))
19
link_failure
();
20
}
21
22
int
23
main
(
int
argc
,
char
**
argv
)
24
{
25
foo
(
v
);
26
return
0
;
27
}
28
29
#ifndef __OPTIMIZE__
30
void
31
link_failure
(
void
)
32
{
33
abort
();
34
}
35
#endif