| Issue |
139464
|
| Summary |
`copy_if` test seem to violate the precondition
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
AlexGuteniev
|
[alg.copy]/16:
> Preconditions: The ranges [first, last) and [result, result + (last - first)) do not overlap.
The following test do not have this precondition satisfied, as it doesn't even have _[result, result + (last - first))_ range:
https://github.com/llvm/llvm-project/blob/79210feb2993ff9a79ef11f8a7016a527d4fcf22/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/ranges.copy_if.pass.cpp#L160-L162
The following tests seem to be also affected by similar issue:
* std/algorithms/alg.modifying.operations/alg.remove/ranges_remove_copy.pass.cpp
* std/algorithms/alg.modifying.operations/alg.unique/unique_copy.pass.cpp
* std/algorithms/alg.modifying.operations/alg.unique/ranges_unique_copy.pass.cpp
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
