blob: d528cd88253e95856ca0720b0244b7815efd796b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
namespace;
include rt;
// zy --explain-checks: one line per check the compiler keeps, with its reason
int[8] t;
int g(int* p, int k) { return p[k]; }
int main() {
int i, s = 0, n = 8, k = 3;
int* q = rt.new(8);
int[?] a = rt.new(int[?], 8);
for (i = 0; i < 8; i++) s = s + t[i];
for (i = 0; i < n; i++) s = s + t[i];
for (i = 0; i < n; i++) { s = s + t[i]; n = n - 0; }
s = s + t[k];
for (i = 0; i < n; i++) s = s + q[i];
for (i = 0; i < n; i++) { s = s + q[i]; rt.put_s(""); }
for (i = 0; i < n; i++) s = s + a[i];
s = s + g(q, 2);
unbounded { s = s + t[k]; }
rt.put_n(s); rt.put_c(10);
return 0;
}
|
