more

[ICEs.git] / 353816 / busybox.i

diff --git a/353816/busybox.i b/353816/busybox.i
new file mode 100644 (file)
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);
+       }
+}