mirrors/phobos
1
0
Fork 0
mirror of https://github.com/dlang/phobos.git synced 2025-04-30 15:10:46 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix Issue 7898 - [CTFE] std.algorithm:copy fails when used with two arrays

Browse source
This commit is contained in:
k-hara 2012-05-26 01:01:05 +09:00
parent 0d81fe8f27
commit 12a866f036
1 changed files with 16 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

20
std/algorithm.d
View file

@ -5579,9 +5579,11 @@ if (isInputRange!Range1 && isOutputRange!(Range2, ElementType!Range1))
return target; return target;
} }
if (__ctfe)
return genericImpl(source, target);
static if(isArray!Range1 && isArray!Range2 && static if (isArray!Range1 && isArray!Range2 &&
is(Unqual!(typeof(source[0])) == Unqual!(typeof(target[0])))) is(Unqual!(typeof(source[0])) == Unqual!(typeof(target[0]))))
{ {
immutable overlaps = immutable overlaps =
(source.ptr >= target.ptr && (source.ptr >= target.ptr &&
@ -5589,7 +5591,7 @@ if (isInputRange!Range1 && isOutputRange!(Range2, ElementType!Range1))
(target.ptr >= source.ptr && (target.ptr >= source.ptr &&
target.ptr < source.ptr + source.length); target.ptr < source.ptr + source.length);
if(overlaps) if (overlaps)
{ {
return genericImpl(source, target); return genericImpl(source, target);
} }
@ -5609,7 +5611,6 @@ if (isInputRange!Range1 && isOutputRange!(Range2, ElementType!Range1))
{ {
return genericImpl(source, target); return genericImpl(source, target);
} }
} }
unittest unittest
@ -5636,6 +5637,17 @@ unittest
copy(a[5..10], a[4..9]); copy(a[5..10], a[4..9]);
assert(a[4..9] == [6, 7, 8, 9, 10]); assert(a[4..9] == [6, 7, 8, 9, 10]);
} }
{ // Test for bug 7898
enum v =
{
import std.algorithm;
int[] arr1 = [10, 20, 30, 40, 50];
int[] arr2 = arr1.dup;
copy(arr1, arr2);
return 35;
}();
}
} }
// swapRanges // swapRanges