repo.or.cz
/
pet.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
extract out pet_stmt_is_assign
[pet.git]
/
tests
/
tobi2.c
blob
7944693b720269035a03fa1196613d66cd456b6b
1
#include <limits.h>
2
3
int
main
() {
4
unsigned int
N
=
UINT_MAX
;
5
unsigned int
i
;
6
int
a
;
7
8
#pragma scop
9
for
(
i
=
0
;
i
<
20
&&
i
<
N
+
10
; ++
i
)
10
a
=
5
;
11
#pragma endscop
12
}
13