| ... | ... | @@ -1,5 +1,5 @@ |
| 1 | 1 | const std = @import("std"); |
| 2 | | const expectEqualSlices = std.testing.expectEqualSlices; |
| 2 | const expect = std.testing.expect; |
| 3 | 3 | |
| 4 | 4 | test "assignment to overlapping memory" { |
| 5 | 5 | try theTest(); |
| ... | ... | @@ -8,30 +8,42 @@ test "assignment to overlapping memory" { |
| 8 | 8 | |
| 9 | 9 | fn theTest() !void { |
| 10 | 10 | var a1: [3]usize = .{ 0, 1, 2 }; |
| 11 | const b1: [3]usize = .{ 0, 0, 1 }; |
| 11 | 12 | a1[1..3].* = a1[0..2].*; |
| 12 | | try expectEqualSlices(usize, &.{ 0, 0, 1 }, &a1); |
| 13 | for (a1, b1) |a, b| { |
| 14 | try expect(a == b); |
| 15 | } |
| 13 | 16 | |
| 14 | 17 | var a2: [3]usize = .{ 0, 1, 2 }; |
| 18 | const b2: [3]usize = .{ 1, 2, 2 }; |
| 15 | 19 | a2[0..2].* = a2[1..3].*; |
| 16 | | try expectEqualSlices(usize, &.{ 1, 2, 2 }, &a2); |
| 20 | for (a2, b2) |a, b| { |
| 21 | try expect(a == b); |
| 22 | } |
| 17 | 23 | |
| 18 | 24 | var a3: [16]u8 = .{ |
| 19 | 25 | 0, 1, 2, 3, 4, 5, 6, 7, |
| 20 | 26 | 8, 9, 10, 11, 12, 13, 14, 15, |
| 21 | 27 | }; |
| 22 | | a3[1..16].* = a3[0..15].*; |
| 23 | | try expectEqualSlices(u8, &.{ |
| 28 | const b3: [16]u8 = .{ |
| 24 | 29 | 0, 0, 1, 2, 3, 4, 5, 6, |
| 25 | 30 | 7, 8, 9, 10, 11, 12, 13, 14, |
| 26 | | }, &a3); |
| 31 | }; |
| 32 | a3[1..16].* = a3[0..15].*; |
| 33 | for (a3, b3) |a, b| { |
| 34 | try expect(a == b); |
| 35 | } |
| 27 | 36 | |
| 28 | 37 | var a4: [16]u8 = .{ |
| 29 | 38 | 0, 1, 2, 3, 4, 5, 6, 7, |
| 30 | 39 | 8, 9, 10, 11, 12, 13, 14, 15, |
| 31 | 40 | }; |
| 32 | | a4[0..15].* = a4[1..16].*; |
| 33 | | try expectEqualSlices(u8, &.{ |
| 41 | const b4: [16]u8 = .{ |
| 34 | 42 | 1, 2, 3, 4, 5, 6, 7, 8, |
| 35 | 43 | 9, 10, 11, 12, 13, 14, 15, 15, |
| 36 | | }, &a4); |
| 44 | }; |
| 45 | a4[0..15].* = a4[1..16].*; |
| 46 | for (a4, b4) |a, b| { |
| 47 | try expect(a == b); |
| 48 | } |
| 37 | 49 | } |