replace: deal with overlapping.

* buf.c (replace_buf): In the same-type case, use memmove
rather than memcpy in case the objects overlap, so we
don't invoke C undefined behavior.

* lib.c (replace_str, replace_vec): Likewise.

* txr.1: Specify that if the replacement sequence overlaps
with the target range of the destination sequence, or
with any portion that has to be relocated if range
changes size, then the behavior is unspecified.

1 files changed, 3 insertions, 3 deletions

diff --git a/lib.c b/lib.c
index 13a41947..1e7d8885 100644
--- a/lib.c
+++ b/lib.c
@@ -3857,7 +3857,7 @@ val replace_str(val str_in, val items, val from, val to)
     if (zerop(len_it))
       return str_in;
     if (stringp(items)) {
-      wmemcpy(str_in->st.str + c_num(from), c_str(items), c_num(len_it));
+      wmemmove(str_in->st.str + c_num(from), c_str(items), c_num(len_it));
     } else {
       seq_iter_t item_iter;
       seq_iter_init(self, &item_iter, items);
@@ -7289,8 +7289,8 @@ val replace_vec(val vec_in, val items, val from, val to)
     if (zerop(len_it))
       return vec_in;
     if (vectorp(items)) {
-      memcpy(vec_in->v.vec + c_num(from), items->v.vec,
-             sizeof *vec_in->v.vec * c_num(len_it));
+      memmove(vec_in->v.vec + c_num(from), items->v.vec,
+              sizeof *vec_in->v.vec * c_num(len_it));
       mut(vec_in);
     } else {
       seq_iter_t item_iter;