Added str_copy sample

esbmc · Oct 2, 2023 · dc7657e · dc7657e
1 parent 3b5bfcc
commit dc7657e
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/samples/optimize-code/str_copy.c b/samples/optimize-code/str_copy.c
@@ -0,0 +1,23 @@
+// ESBMC: https://github.com/esbmc/esbmc/blob/master/src/c2goto/library/string.c
+
+#include <stddef.h>
+
+char *strncpy(char *dst, const char *src, size_t n)
+{
+__ESBMC_HIDE:;
+    char *start = dst;
+
+    while (n && (*dst++ = *src++))
+        n--;
+
+    if (n)
+        while (--n)
+            *dst++ = '\0';
+
+    return start;
+}
+
+int main()
+{
+    return 0;
+}