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

diff --git a/353816/busybox.i.2 b/353816/busybox.i.2
new file mode 100644
index 0000000..d8b0929
--- /dev/null
+++ b/353816/busybox.i.2
@@ -0,0 +1,31 @@
+
+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));
+}
+
+struct pollfd {
+	short int revents;
+};
+char bb_got_signal;
+char bb_common_bufsiz1[8192];
+int main(int argc __attribute__ ((__unused__)), char **argv)
+{
+	int timeout = 45 * 1000;
+	while (*argv) {
+			char *arg = *++argv;
+			size_t buf_len = 0;
+			size_t max_len = 50;
+			struct pollfd pfd;
+						memmove(bb_common_bufsiz1,
+							bb_common_bufsiz1 +
+							buf_len - max_len,
+							max_len);
+	}
+}