X-Git-Url: https://git.wh0rd.org/?p=ICEs.git;a=blobdiff_plain;f=353816%2Fbusybox.i;fp=353816%2Fbusybox.i;h=d4f89601a6da06031742778cd7d42bb2438d1c9d;hp=0000000000000000000000000000000000000000;hb=bd3239d2bbe0de3a200b266503e3330b1e391489;hpb=dbff64cb4b7530861c2309c794efdd4e0cf47a23

diff --git a/353816/busybox.i b/353816/busybox.i
new file mode 100644
index 0000000..d4f8960
--- /dev/null
+++ b/353816/busybox.i
@@ -0,0 +1,21 @@
+typedef long unsigned int size_t;
+extern __inline __attribute__ ((__always_inline__))
+    __attribute__ ((__gnu_inline__, __artificial__))
+void *
+    __attribute__ ((__nothrow__)) memmove(void *__dest, const void *__src,
+					  size_t __len)
+{
+	return __builtin___memmove_chk(__dest, __src, __len,
+				       __builtin_object_size(__dest, 0));
+};
+
+char bb_common_bufsiz1[8192];
+int main(int argc __attribute__ ((__unused__)), char **argv)
+{
+	while (*argv) {
+		size_t buf_len = 0;
+		size_t max_len = 50;
+		memmove(bb_common_bufsiz1,
+			bb_common_bufsiz1 + buf_len - max_len, max_len);
+	}
+}