Reorganise runtime libraries provided by KLEE

Strictly differentiate between the following type of libraries:

* FreeStanding: contains minimal amount of methods a compiler would expect
* klee-libc: contains a minimal libc implementation
* POSIX: contains a POSIX layer that can be used on top of a libc implementation
* Intrinsic: contains additional runtime functions which provide KLEE-specific functionalities, (e.g. checks)

Builds always archives instead of single modules.
This allows to reduce linked-in dependencies of tested applications.

1 files changed, 0 insertions, 19 deletions

diff --git a/runtime/klee-libc/memcpy.c b/runtime/klee-libc/memcpy.c
deleted file mode 100644
index c7c6e6d3..00000000
--- a/runtime/klee-libc/memcpy.c
+++ /dev/null
@@ -1,19 +0,0 @@
-/*===-- memcpy.c ----------------------------------------------------------===//
-//
-//                     The KLEE Symbolic Virtual Machine
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===*/
-
-#include <stdlib.h>
-
-void *memcpy(void *destaddr, void const *srcaddr, size_t len) {
-  char *dest = destaddr;
-  char const *src = srcaddr;
-
-  while (len-- > 0)
-    *dest++ = *src++;
-  return destaddr;
-}