Skip to content

Commit 216e3e9

Browse files
adpaco-awstedinski
adpaco-aws
authored and
tedinski
committed
Fix out-by-one errors in cargo-rmc-tests and run-make tests (rust-lang#17)
1 parent aa53e41 commit 216e3e9

File tree

33 files changed

+194
-194
lines changed

33 files changed

+194
-194
lines changed

‎cargo-rmc-tests/simple-lib/expected.test_one_plus_two

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
[test_one_plus_two.assertion.1] line 30 assertion failed: p.sum() == 3: SUCCESS
1+
[test_one_plus_two.assertion.1] line 31 assertion failed: p.sum() == 3: SUCCESS

‎cargo-rmc-tests/simple-lib/expected.test_sum

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
[test_sum.assertion.1] line 26 assertion failed: p.sum() == a.wrapping_add(b): SUCCESS
1+
[test_sum.assertion.1] line 27 assertion failed: p.sum() == a.wrapping_add(b): SUCCESS

‎src/test/run-make/gotoc-allocation/expected

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
line 7 assertion failed: foo() == None: SUCCESS
2-
line 10 assertion failed: foo() == y: SUCCESS
1+
line 8 assertion failed: foo() == None: SUCCESS
2+
line 11 assertion failed: foo() == y: SUCCESS

‎src/test/run-make/gotoc-array/expected

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ array 'y'.0 upper bound in y.0[var_12]: SUCCESS
33
array 'y'.0 upper bound in y.0[var_16]: FAILURE
44
array 'x'.0 upper bound in x.0[var_3]: SUCCESS
55
array 'x'.0 upper bound in x.0[var_5]: SUCCESS
6-
line 10 assertion failed: y[0] == 1: SUCCESS
7-
line 11 assertion failed: y[1] == 2: SUCCESS
8-
line 12 index out of bounds: the length is move _17 but the index is _16: FAILURE
9-
line 12 assertion failed: y[z] == 3: FAILURE
6+
line 11 assertion failed: y[0] == 1: SUCCESS
7+
line 12 assertion failed: y[1] == 2: SUCCESS
8+
line 13 index out of bounds: the length is move _17 but the index is _16: FAILURE
9+
line 13 assertion failed: y[z] == 3: FAILURE

‎src/test/run-make/gotoc-binop/expected

Lines changed: 42 additions & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -1,42 +1,42 @@
1-
line 3 attempt to compute `move _8 + move _9`, which would overflow: SUCCESS
2-
line 3 assertion failed: a + b == correct: SUCCESS
3-
line 4 attempt to compute `move _15 + move _16`, which would overflow: SUCCESS
4-
line 4 assertion failed: a + b == wrong: FAILURE
5-
line 8 attempt to compute `move _8 - move _9`, which would overflow: SUCCESS
6-
line 8 assertion failed: a - b == correct: SUCCESS
7-
line 9 attempt to compute `move _15 - move _16`, which would overflow: SUCCESS
8-
line 9 assertion failed: a - b == wrong: FAILURE
9-
line 13 attempt to compute `move _8 * move _9`, which would overflow: SUCCESS
10-
line 13 assertion failed: a * b == correct: SUCCESS
11-
line 14 attempt to compute `move _15 * move _16`, which would overflow: SUCCESS
12-
line 14 assertion failed: a * b == wrong: FAILURE
13-
line 18 attempt to divide `_8` by zero: SUCCESS
14-
line 18 attempt to compute `_8 / _9`, which would overflow: SUCCESS
15-
line 18 assertion failed: a / b == correct: SUCCESS
16-
line 19 attempt to divide `_18` by zero: SUCCESS
17-
line 19 attempt to compute `_18 / _19`, which would overflow: SUCCESS
18-
line 19 assertion failed: a / b == wrong: FAILURE
19-
line 23 attempt to calculate the remainder of `_8` with a divisor of zero: SUCCESS
20-
line 23 attempt to compute the remainder of `_8 % _9`, which would overflow: SUCCESS
21-
line 23 assertion failed: a % b == correct: SUCCESS
22-
line 24 attempt to calculate the remainder of `_18` with a divisor of zero: SUCCESS
23-
line 24 attempt to compute the remainder of `_18 % _19`, which would overflow: SUCCESS
24-
line 24 assertion failed: a % b == wrong: FAILURE
25-
line 28 attempt to shift left by `move _9`, which would overflow: SUCCESS
26-
line 28 assertion failed: a << b == correct: SUCCESS
27-
line 29 attempt to shift left by `move _16`, which would overflow: SUCCESS
28-
line 29 assertion failed: a << b == wrong: FAILURE
29-
line 33 attempt to shift right by `move _9`, which would overflow: SUCCESS
30-
line 33 assertion failed: a >> b == correct: SUCCESS
31-
line 34 attempt to shift right by `move _16`, which would overflow: SUCCESS
32-
line 34 assertion failed: a >> b == wrong: FAILURE
33-
line 38 attempt to shift right by `move _9`, which would overflow: SUCCESS
34-
line 38 assertion failed: a >> b == correct: SUCCESS
35-
line 39 attempt to shift right by `move _16`, which would overflow: SUCCESS
36-
line 39 assertion failed: a >> b == wrong: FAILURE
37-
line 43 assertion failed: a & b == correct: SUCCESS
38-
line 44 assertion failed: a & b == wrong: FAILURE
39-
line 48 assertion failed: a | b == correct: SUCCESS
40-
line 49 assertion failed: a | b == wrong: FAILURE
41-
line 53 assertion failed: a ^ b == correct: SUCCESS
42-
line 54 assertion failed: a ^ b == wrong: FAILURE
1+
line 4 attempt to compute `move _8 + move _9`, which would overflow: SUCCESS
2+
line 4 assertion failed: a + b == correct: SUCCESS
3+
line 5 attempt to compute `move _15 + move _16`, which would overflow: SUCCESS
4+
line 5 assertion failed: a + b == wrong: FAILURE
5+
line 9 attempt to compute `move _8 - move _9`, which would overflow: SUCCESS
6+
line 9 assertion failed: a - b == correct: SUCCESS
7+
line 10 attempt to compute `move _15 - move _16`, which would overflow: SUCCESS
8+
line 10 assertion failed: a - b == wrong: FAILURE
9+
line 14 attempt to compute `move _8 * move _9`, which would overflow: SUCCESS
10+
line 14 assertion failed: a * b == correct: SUCCESS
11+
line 15 attempt to compute `move _15 * move _16`, which would overflow: SUCCESS
12+
line 15 assertion failed: a * b == wrong: FAILURE
13+
line 19 attempt to divide `_8` by zero: SUCCESS
14+
line 19 attempt to compute `_8 / _9`, which would overflow: SUCCESS
15+
line 19 assertion failed: a / b == correct: SUCCESS
16+
line 20 attempt to divide `_18` by zero: SUCCESS
17+
line 20 attempt to compute `_18 / _19`, which would overflow: SUCCESS
18+
line 20 assertion failed: a / b == wrong: FAILURE
19+
line 24 attempt to calculate the remainder of `_8` with a divisor of zero: SUCCESS
20+
line 24 attempt to compute the remainder of `_8 % _9`, which would overflow: SUCCESS
21+
line 24 assertion failed: a % b == correct: SUCCESS
22+
line 25 attempt to calculate the remainder of `_18` with a divisor of zero: SUCCESS
23+
line 25 attempt to compute the remainder of `_18 % _19`, which would overflow: SUCCESS
24+
line 25 assertion failed: a % b == wrong: FAILURE
25+
line 29 attempt to shift left by `move _9`, which would overflow: SUCCESS
26+
line 29 assertion failed: a << b == correct: SUCCESS
27+
line 30 attempt to shift left by `move _16`, which would overflow: SUCCESS
28+
line 30 assertion failed: a << b == wrong: FAILURE
29+
line 34 attempt to shift right by `move _9`, which would overflow: SUCCESS
30+
line 34 assertion failed: a >> b == correct: SUCCESS
31+
line 35 attempt to shift right by `move _16`, which would overflow: SUCCESS
32+
line 35 assertion failed: a >> b == wrong: FAILURE
33+
line 39 attempt to shift right by `move _9`, which would overflow: SUCCESS
34+
line 39 assertion failed: a >> b == correct: SUCCESS
35+
line 40 attempt to shift right by `move _16`, which would overflow: SUCCESS
36+
line 40 assertion failed: a >> b == wrong: FAILURE
37+
line 44 assertion failed: a & b == correct: SUCCESS
38+
line 45 assertion failed: a & b == wrong: FAILURE
39+
line 49 assertion failed: a | b == correct: SUCCESS
40+
line 50 assertion failed: a | b == wrong: FAILURE
41+
line 54 assertion failed: a ^ b == correct: SUCCESS
42+
line 55 assertion failed: a ^ b == wrong: FAILURE

‎src/test/run-make/gotoc-closure/expected

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
resume instruction: SUCCESS
2-
line 20 attempt to compute `move _8 + move _9`, which would overflow: SUCCESS
3-
line 20 attempt to compute `move _5 + move _6`, which would overflow: SUCCESS
4-
line 20 attempt to compute `(*((*_1).0: &mut i32)) + move _4`, which would overflow: SUCCESS
5-
line 25 attempt to compute `move _18 + const 12_i32`, which would overflow: SUCCESS
6-
line 25 assertion failed: original_num + 12 == num: SUCCESS
7-
line 25 arithmetic overflow on signed + in var_18 + 12: SUCCESS
2+
line 21 attempt to compute `move _8 + move _9`, which would overflow: SUCCESS
3+
line 21 attempt to compute `move _5 + move _6`, which would overflow: SUCCESS
4+
line 21 attempt to compute `(*((*_1).0: &mut i32)) + move _4`, which would overflow: SUCCESS
5+
line 26 attempt to compute `move _18 + const 12_i32`, which would overflow: SUCCESS
6+
line 26 assertion failed: original_num + 12 == num: SUCCESS
7+
line 26 arithmetic overflow on signed + in var_18 + 12: SUCCESS

‎src/test/run-make/gotoc-closure2/expected

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
line 4 attempt to compute `move _3 + move _4`, which would overflow: SUCCESS
2-
line 6 attempt to compute `move _3 + move _4`, which would overflow: SUCCESS
3-
line 7 assertion failed: z == 102: SUCCESS
4-
line 8 assertion failed: g(z) == 206: SUCCESS
1+
line 5 attempt to compute `move _3 + move _4`, which would overflow: SUCCESS
2+
line 7 attempt to compute `move _3 + move _4`, which would overflow: SUCCESS
3+
line 8 assertion failed: z == 102: SUCCESS
4+
line 9 assertion failed: g(z) == 206: SUCCESS

‎src/test/run-make/gotoc-closure3/expected

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
line 17 attempt to compute `move _3 + move _4`, which would overflow: SUCCESS
2-
line 18 attempt to compute `move _11 + const 10_i64`, which would overflow: SUCCESS
3-
line 18 assertion failed: num + 10 == y: SUCCESS
1+
line 18 attempt to compute `move _3 + move _4`, which would overflow: SUCCESS
2+
line 19 attempt to compute `move _11 + const 10_i64`, which would overflow: SUCCESS
3+
line 19 assertion failed: num + 10 == y: SUCCESS

‎src/test/run-make/gotoc-comp/expected

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
1-
line 4 attempt to compute `move _6 + move _7`, which would overflow: SUCCESS
2-
line 4 attempt to compute `move _10 + move _11`, which would overflow: SUCCESS
3-
line 4 assertion failed: a + b == b + a: SUCCESS
4-
line 5 attempt to compute `move _16 + move _17`, which would overflow: SUCCESS
5-
line 5 attempt to compute `move _21 + move _22`, which would overflow: SUCCESS
6-
line 5 attempt to compute `move _20 + const 1_i32`, which would overflow: SUCCESS
7-
line 5 assertion failed: a + b != a + b + 1: SUCCESS
8-
line 10 attempt to compute `move _6 + move _7`, which would overflow: SUCCESS
9-
line 10 assertion failed: a + b > a: SUCCESS
10-
line 11 attempt to compute `move _13 - move _14`, which would overflow: SUCCESS
11-
line 11 assertion failed: a - b < a: SUCCESS
1+
line 5 attempt to compute `move _6 + move _7`, which would overflow: SUCCESS
2+
line 5 attempt to compute `move _10 + move _11`, which would overflow: SUCCESS
3+
line 5 assertion failed: a + b == b + a: SUCCESS
4+
line 6 attempt to compute `move _16 + move _17`, which would overflow: SUCCESS
5+
line 6 attempt to compute `move _21 + move _22`, which would overflow: SUCCESS
6+
line 6 attempt to compute `move _20 + const 1_i32`, which would overflow: SUCCESS
7+
line 6 assertion failed: a + b != a + b + 1: SUCCESS
8+
line 11 attempt to compute `move _6 + move _7`, which would overflow: SUCCESS
9+
line 11 assertion failed: a + b > a: SUCCESS
10+
line 12 attempt to compute `move _13 - move _14`, which would overflow: SUCCESS
11+
line 12 assertion failed: a - b < a: SUCCESS

‎src/test/run-make/gotoc-dynamic-trait-static-dispatch/expected

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
line 24 assertion failed: bar.a() == 3: SUCCESS
2-
line 25 assertion failed: bar.b() == 5: SUCCESS
1+
line 25 assertion failed: bar.a() == 3: SUCCESS
2+
line 26 assertion failed: bar.b() == 5: SUCCESS

‎src/test/run-make/gotoc-dynamic-trait/expected

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,16 @@
1-
line 22 attempt to compute `move _2 * move _3`, which would overflow: SUCCESS
2-
line 25 attempt to compute `move _4 * move _5`, which would overflow: SUCCESS
3-
line 25 attempt to compute `move _3 * move _7`, which would overflow: SUCCESS
4-
line 31 attempt to compute `move _2 * move _3`, which would overflow: SUCCESS
5-
line 34 attempt to compute `move _4 * move _5`, which would overflow: SUCCESS
6-
line 34 attempt to compute `move _3 * move _7`, which would overflow: SUCCESS
7-
line 51 assertion failed: rec.vol(3) == 150: SUCCESS
8-
line 52 assertion failed: impl_area(rec.clone()) == 50: SUCCESS
9-
line 55 assertion failed: vol == 100: SUCCESS
10-
line 58 assertion failed: square.vol(3) == 27: SUCCESS
11-
line 59 assertion failed: do_vol(&square, 2) == 18: SUCCESS
12-
line 60 assertion failed: impl_area(square.clone()) == 9: SUCCESS
13-
line 62 assertion failed: !square.compare_area(&square): SUCCESS
14-
line 63 assertion failed: !square.compare_area(&rec): SUCCESS
15-
line 64 assertion failed: rec.compare_area(&square): SUCCESS
16-
line 65 assertion failed: !rec.compare_area(&rec): SUCCESS
1+
line 23 attempt to compute `move _2 * move _3`, which would overflow: SUCCESS
2+
line 26 attempt to compute `move _4 * move _5`, which would overflow: SUCCESS
3+
line 26 attempt to compute `move _3 * move _7`, which would overflow: SUCCESS
4+
line 32 attempt to compute `move _2 * move _3`, which would overflow: SUCCESS
5+
line 35 attempt to compute `move _4 * move _5`, which would overflow: SUCCESS
6+
line 35 attempt to compute `move _3 * move _7`, which would overflow: SUCCESS
7+
line 52 assertion failed: rec.vol(3) == 150: SUCCESS
8+
line 53 assertion failed: impl_area(rec.clone()) == 50: SUCCESS
9+
line 56 assertion failed: vol == 100: SUCCESS
10+
line 59 assertion failed: square.vol(3) == 27: SUCCESS
11+
line 60 assertion failed: do_vol(&square, 2) == 18: SUCCESS
12+
line 61 assertion failed: impl_area(square.clone()) == 9: SUCCESS
13+
line 63 assertion failed: !square.compare_area(&square): SUCCESS
14+
line 64 assertion failed: !square.compare_area(&rec): SUCCESS
15+
line 65 assertion failed: rec.compare_area(&square): SUCCESS
16+
line 66 assertion failed: !rec.compare_area(&rec): SUCCESS

‎src/test/run-make/gotoc-enum/expected

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
1-
line 17 unreachable code: SUCCESS
2-
line 18 assertion failed: false: SUCCESS
3-
line 18 assertion failed: x == 10: SUCCESS
4-
line 21 unreachable code: SUCCESS
5-
line 22 assertion failed: false: SUCCESS
6-
line 24 assertion failed: x == 30 && y == 60.0: SUCCESS
7-
line 25 assertion failed: x == 31: FAILURE
1+
line 18 unreachable code: SUCCESS
2+
line 19 assertion failed: false: SUCCESS
3+
line 19 assertion failed: x == 10: SUCCESS
4+
line 22 unreachable code: SUCCESS
5+
line 23 assertion failed: false: SUCCESS
6+
line 25 assertion failed: x == 30 && y == 60.0: SUCCESS
7+
line 26 assertion failed: x == 31: FAILURE

‎src/test/run-make/gotoc-float-nan/expected

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
line 10 assertion failed: 1.0 / f != 0.0 / f: SUCCESS
2-
line 12 assertion failed: !(1.0 / f == 0.0 / f): SUCCESS
3-
line 14 assertion failed: 1.0 / f == 0.0 / f: FAILURE
4-
line 16 assertion failed: 0.0 / f == 0.0 / f: FAILURE
5-
line 18 assertion failed: 0.0 / f != 0.0 / f: SUCCESS
1+
line 11 assertion failed: 1.0 / f != 0.0 / f: SUCCESS
2+
line 13 assertion failed: !(1.0 / f == 0.0 / f): SUCCESS
3+
line 15 assertion failed: 1.0 / f == 0.0 / f: FAILURE
4+
line 17 assertion failed: 0.0 / f == 0.0 / f: FAILURE
5+
line 19 assertion failed: 0.0 / f != 0.0 / f: SUCCESS

‎src/test/run-make/gotoc-generics/expected

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
line 23 assertion failed: x == y.data: SUCCESS
2-
line 24 assertion failed: z == w.data: SUCCESS
1+
line 24 assertion failed: x == y.data: SUCCESS
2+
line 25 assertion failed: z == w.data: SUCCESS

‎src/test/run-make/gotoc-iterator/expected

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
line 4 unreachable code: SUCCESS
2-
line 5 attempt to compute `_1 * move _13`, which would overflow: SUCCESS
3-
line 7 assertion failed: z == 6: SUCCESS
1+
line 5 unreachable code: SUCCESS
2+
line 6 attempt to compute `_1 * move _13`, which would overflow: SUCCESS
3+
line 8 assertion failed: z == 6: SUCCESS

‎src/test/run-make/gotoc-niche/expected

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
line 19 unreachable code: SUCCESS
2-
line 20 assertion failed: false: SUCCESS
3-
line 24 unreachable code: SUCCESS
4-
line 25 assertion failed: false: SUCCESS
5-
line 26 assertion failed: a == *b: SUCCESS
1+
line 20 unreachable code: SUCCESS
2+
line 21 assertion failed: false: SUCCESS
3+
line 25 unreachable code: SUCCESS
4+
line 26 assertion failed: false: SUCCESS
5+
line 27 assertion failed: a == *b: SUCCESS

‎src/test/run-make/gotoc-niche2/expected

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
assertion failed: false: SUCCESS
22
assertion failed: false: SUCCESS
3-
line 20 unreachable code: SUCCESS
4-
line 21 assertion failed: false: SUCCESS
5-
line 26 assertion failed: x == 10: SUCCESS
3+
line 21 unreachable code: SUCCESS
4+
line 22 assertion failed: false: SUCCESS
5+
line 27 assertion failed: x == 10: SUCCESS

‎src/test/run-make/gotoc-nondet/expected

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
line 10 attempt to compute `move _12 * move _13`, which would overflow: SUCCESS
2-
line 10 attempt to compute `const 2_i32 * move _16`, which would overflow: SUCCESS
3-
line 10 attempt to compute `move _11 - move _15`, which would overflow: SUCCESS
4-
line 10 attempt to compute `move _10 + const 1_i32`, which would overflow: SUCCESS
5-
line 10 assertion failed: x * x - 2 * x + 1 != 4 || (x == -1 || x == 3): SUCCESS
1+
line 11 attempt to compute `move _12 * move _13`, which would overflow: SUCCESS
2+
line 11 attempt to compute `const 2_i32 * move _16`, which would overflow: SUCCESS
3+
line 11 attempt to compute `move _11 - move _15`, which would overflow: SUCCESS
4+
line 11 attempt to compute `move _10 + const 1_i32`, which would overflow: SUCCESS
5+
line 11 assertion failed: x * x - 2 * x + 1 != 4 || (x == -1 || x == 3): SUCCESS

‎src/test/run-make/gotoc-references/expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
line 16 assertion failed: z == 2: SUCCESS
1+
line 17 assertion failed: z == 2: SUCCESS

‎src/test/run-make/gotoc-replace-hashmap/expected

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
line 26 attempt to compute `((*_1).0: usize) + const 1_usize`, which would overflow: SUCCESS
2-
line 26 arithmetic overflow on unsigned + in self->len + 1: SUCCESS
3-
line 56 assertion failed: a.is_some(): FAILURE
4-
line 57 assertion failed: a.is_none(): FAILURE
5-
line 59 assertion failed: b.is_some(): SUCCESS
6-
line 60 assertion failed: b.is_none(): FAILURE
1+
line 27 attempt to compute `((*_1).0: usize) + const 1_usize`, which would overflow: SUCCESS
2+
line 27 arithmetic overflow on unsigned + in self->len + 1: SUCCESS
3+
line 57 assertion failed: a.is_some(): FAILURE
4+
line 58 assertion failed: a.is_none(): FAILURE
5+
line 60 assertion failed: b.is_some(): SUCCESS
6+
line 61 assertion failed: b.is_none(): FAILURE

‎src/test/run-make/gotoc-replace-vec/expected

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
line 23 attempt to compute `((*_1).0: usize) + const 1_usize`, which would overflow: SUCCESS
2-
line 33 attempt to compute `((*_1).0: usize) - const 1_usize`, which would overflow: SUCCESS
3-
line 52 assertion failed: v.len() == 1: SUCCESS
4-
line 53 assertion failed: v.len() == 11: FAILURE
5-
line 55 assertion failed: p != None: SUCCESS
6-
line 56 assertion failed: p == None: FAILURE
7-
line 57 assertion failed: p == Some(to_push): SUCCESS
8-
line 58 assertion failed: p == Some(not_pushed): FAILURE
1+
line 24 attempt to compute `((*_1).0: usize) + const 1_usize`, which would overflow: SUCCESS
2+
line 34 attempt to compute `((*_1).0: usize) - const 1_usize`, which would overflow: SUCCESS
3+
line 53 assertion failed: v.len() == 1: SUCCESS
4+
line 54 assertion failed: v.len() == 11: FAILURE
5+
line 56 assertion failed: p != None: SUCCESS
6+
line 57 assertion failed: p == None: FAILURE
7+
line 58 assertion failed: p == Some(to_push): SUCCESS
8+
line 59 assertion failed: p == Some(not_pushed): FAILURE

‎src/test/run-make/gotoc-slice/expected

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
line 14 assertion failed: y.len() == 5: SUCCESS
2-
line 15 index out of bounds: the length is move _16 but the index is _15: SUCCESS
3-
line 15 assertion failed: y[1] == 2: SUCCESS
4-
line 16 assertion failed: z.len() == 3: SUCCESS
1+
line 15 assertion failed: y.len() == 5: SUCCESS
2+
line 16 index out of bounds: the length is move _16 but the index is _15: SUCCESS
3+
line 16 assertion failed: y[1] == 2: SUCCESS
4+
line 17 assertion failed: z.len() == 3: SUCCESS

‎src/test/run-make/gotoc-static-mutable-struct/expected

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
1-
line 24 assertion failed: foo().x == 12: SUCCESS
2-
line 25 assertion failed: foo().y == 12: FAILURE
3-
line 26 assertion failed: foo().x == 14: FAILURE
4-
line 27 assertion failed: foo().y == 14: SUCCESS
5-
line 30 assertion failed: foo().x == 1: SUCCESS
6-
line 31 assertion failed: foo().y == 1: FAILURE
7-
line 32 assertion failed: foo().x == 2: FAILURE
8-
line 33 assertion failed: foo().y == 2: SUCCESS
9-
line 36 assertion failed: foo().x == 1 << 62: SUCCESS
10-
line 37 assertion failed: foo().x == 1 << 31: FAILURE
11-
line 38 assertion failed: foo().y == 1 << 31: SUCCESS
1+
line 25 assertion failed: foo().x == 12: SUCCESS
2+
line 26 assertion failed: foo().y == 12: FAILURE
3+
line 27 assertion failed: foo().x == 14: FAILURE
4+
line 28 assertion failed: foo().y == 14: SUCCESS
5+
line 31 assertion failed: foo().x == 1: SUCCESS
6+
line 32 assertion failed: foo().y == 1: FAILURE
7+
line 33 assertion failed: foo().x == 2: FAILURE
8+
line 34 assertion failed: foo().y == 2: SUCCESS
9+
line 37 assertion failed: foo().x == 1 << 62: SUCCESS
10+
line 38 assertion failed: foo().x == 1 << 31: FAILURE
11+
line 39 assertion failed: foo().y == 1 << 31: SUCCESS
1212

‎src/test/run-make/gotoc-static-mutable/expected

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
line 17 assertion failed: 10 == foo(): FAILURE
2-
line 18 assertion failed: 12 == foo(): SUCCESS
3-
line 20 assertion failed: 10 == foo(): SUCCESS
4-
line 21 assertion failed: 12 == foo(): FAILURE
1+
line 18 assertion failed: 10 == foo(): FAILURE
2+
line 19 assertion failed: 12 == foo(): SUCCESS
3+
line 21 assertion failed: 10 == foo(): SUCCESS
4+
line 22 assertion failed: 12 == foo(): FAILURE

‎src/test/run-make/gotoc-static/expected

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
line 9 assertion failed: 10 == foo(): FAILURE
2-
line 10 assertion failed: 12 == foo(): SUCCESS
1+
line 10 assertion failed: 10 == foo(): FAILURE
2+
line 11 assertion failed: 12 == foo(): SUCCESS

‎src/test/run-make/gotoc-test1/expected

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
line 6 attempt to compute `_1 + move _4`, which would overflow: SUCCESS
2-
line 7 attempt to compute `_2 - const 1_i32`, which would overflow: SUCCESS
3-
line 11 assertion failed: a == 54: FAILURE
4-
line 13 assertion failed: a == 55: SUCCESS
5-
line 15 assertion failed: a >= 55: SUCCESS
1+
line 7 attempt to compute `_1 + move _4`, which would overflow: SUCCESS
2+
line 8 attempt to compute `_2 - const 1_i32`, which would overflow: SUCCESS
3+
line 12 assertion failed: a == 54: FAILURE
4+
line 14 assertion failed: a == 55: SUCCESS
5+
line 16 assertion failed: a >= 55: SUCCESS

0 commit comments

Comments
 (0)