From a817e1555a755224cacc1cbdeeaefb6a1de606f0 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Wed, 24 Apr 2024 17:09:08 +0200
Subject: Fix some overlap mismatch

This was caught by the following test:

```

int main(void) {
    char c[32];
    memcpy(c, c + 16, 16);
}
```

Reported-by: q66
---
 tests/test_issue57.c | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/test_issue57.c

(limited to 'tests/test_issue57.c')

diff --git a/tests/test_issue57.c b/tests/test_issue57.c
new file mode 100644
index 0000000..ee9c38e
--- /dev/null
+++ b/tests/test_issue57.c
@@ -0,0 +1,11 @@
+#include "common.h"
+
+#include <string.h>
+
+int main(int argc, char** argv) {
+  char buffer[32];
+  memcpy(buffer , buffer + 16, 16);
+  puts(buffer);
+
+  return ret;
+}
-- 
cgit v1.3