blob: ab0a949c6a4b0620d652f370af1e2d0e3beb24a3 (
plain) (
blame)
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
112
113
114
115
116
117
118
|
#!/bin/bash
. tests/common.sh
set -e
echo -n "- While loops: "
assert_exit_status_stdin 5 <<EOF
fn main(): int {
while (1) {
return 5;
}
return 3;
}
EOF
assert_exit_status_stdin 3 <<EOF
fn main(): int {
while (0) {
return 5;
}
return 3;
}
EOF
assert_exit_status_stdin 10 <<EOF
fn main(): int {
let sum: int = 0;
while (sum < 10) {
sum = sum + 1;
}
return sum;
}
EOF
assert_exit_status_stdin 55 <<EOF
fn main(): int {
let sum: int = 0;
let N: int = 10;
let i: int = 0;
while (i <= N) {
sum = sum + i;
i = i + 1;
}
return sum;
}
EOF
echo " OK"
echo -n "- For loops: "
assert_exit_status_stdin 5 <<EOF
fn main(): int {
for (;;) {
return 5;
}
return 3;
}
EOF
assert_exit_status_stdin 3 <<EOF
fn main(): int {
for (;0;) {
return 5;
}
return 3;
}
EOF
assert_exit_status_stdin 55 <<EOF
fn main(): int {
let sum: int = 0;
let i: int;
for (i = 0; i <= 10; i = i + 1) {
sum = sum + i;
}
return sum;
}
EOF
assert_exit_status_stdin 55 <<EOF
fn main(): int {
let sum: int = 0;
let i: int = 0;
for (; i <= 10; i = i + 1) {
sum = sum + i;
}
return sum;
}
EOF
assert_exit_status_stdin 45 <<EOF
fn main(): int {
let sum: int = 0;
let i: int = 0;
for (;i < 10;) {
sum = sum + i;
i = i + 1;
}
return sum;
}
EOF
assert_exit_status_stdin 55 <<EOF
fn main(): int {
let sum: int = 0;
let i: int = 0;
for (;;) {
sum = sum + i;
i = i + 1;
if (i == 11) {
return sum;
}
}
// unreachable, but we don't catch this error yet
return -1;
}
EOF
echo " OK"
|