File: loop_test.i

package info (click to toggle)
frama-c 20161101%2Bsilicon%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 42,324 kB
  • ctags: 35,695
  • sloc: ml: 200,142; ansic: 31,465; makefile: 2,334; sh: 1,643; lisp: 259; python: 85; asm: 26
file content (111 lines) | stat: -rw-r--r-- 2,989 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
/* run.config*
   OPT: -val @VALUECONFIG@ -main test_onzes -journal-disable
   OPT: -val @VALUECONFIG@ -main test_cent_onzes -journal-disable
*/


/***************** var CMP cste **********************/
int onze_0 (void) {
  int onze; for (onze=1000; onze >= 12 ; onze--) ; return onze ;
}
int onze_1 (void) {
  int onze; for (onze=1000; onze > 11 ; onze--) ; return onze ;
}
int onze_2 (void) {
  int onze; for (onze=0; onze < 11 ; onze++) ; return onze ;
}
int onze_3 (void) {
  int onze; for (onze=0; onze <= 10 ; onze++) ; return onze ;
}
int onze_4 (void) {
  int onze; for (onze=0; onze != 11 ; onze++) ; return onze ;
}
/***************** cste CMP var **********************/
int onze_5 (void) {
  int onze; for (onze=1000; 12 <= onze ; onze--) ; return onze ;
}
int onze_6 (void) {
  int onze; for (onze=1000; 11 < onze; onze--) ; return onze ;
}
int onze_7 (void) {
  int onze; for (onze=0; 11 > onze; onze++) ; return onze ;
}
int onze_8 (void) {
  int onze; for (onze=0; 10 >= onze; onze++) ; return onze ;
}
int onze_9 (void) {
  int onze; for (onze=0; 11 != onze; onze++) ; return onze ;
}

int r0,r1,r2,r3,r4,r5,r6,r7,r8,r9;
void test_onzes(void)
{
  r0 = onze_0();
  r1 = onze_1();
  r2 = onze_2();
  r3 = onze_3();
  r4 = onze_4();
  r5 = onze_5();
  r6 = onze_6();
  r7 = onze_7();
  r8 = onze_8();
  r9 = onze_9();
}

/***************** !(var CMP cste) **********************/
int cent_onze_0 (void) {
  int cent_onze; for (cent_onze=1000; !(cent_onze < 112) ; cent_onze--) ; return cent_onze ;
}
int cent_onze_1 (void) {
  int cent_onze; for (cent_onze=1000; !(cent_onze <= 111) ; cent_onze--) ;
  return cent_onze ;
}
int cent_onze_2 (void) {
  int cent_onze; for (cent_onze=0; !(cent_onze >= 111) ; cent_onze++) ;
  return cent_onze ;
}
int cent_onze_3 (void) {
  int cent_onze; for (cent_onze=0; !(cent_onze > 110) ; cent_onze++) ;
  return cent_onze ;
}
int cent_onze_4 (void) {
  int cent_onze; for (cent_onze=0; !(cent_onze == 111) ; cent_onze++) ;
  return cent_onze ;
}
/***************** !(cste CMP var) **********************/
int cent_onze_5 (void) {
  int cent_onze; for (cent_onze=1000; !(112 > cent_onze) ; cent_onze--) ; return cent_onze ;
}
int cent_onze_6 (void) {
  int cent_onze; for (cent_onze=1000; !(111 >= cent_onze) ; cent_onze--) ;
  return cent_onze ;
}
int cent_onze_7 (void) {
  int cent_onze; for (cent_onze=0; !(111 <= cent_onze) ; cent_onze++) ;
  return cent_onze ;
}
int cent_onze_8 (void) {
  int cent_onze; for (cent_onze=0; !(110 < cent_onze) ; cent_onze++) ;
  return cent_onze ;
}
int cent_onze_9 (void) {
  int cent_onze; for (cent_onze=0; !(111 == cent_onze) ; cent_onze++) ;
  return cent_onze ;
}

/***************** **********************/

int c0,c1,c2,c3,c4,c5,c6,c7,c8,c9;
void test_cent_onzes(void)
{
  c0 = cent_onze_0();
  c1 = cent_onze_1();
  c2 = cent_onze_2();
  c3 = cent_onze_3();
  c4 = cent_onze_4();
  c5 = cent_onze_5();
  c6 = cent_onze_6();
  c7 = cent_onze_7();
  c8 = cent_onze_8();
  c9 = cent_onze_9();
}