This is a workaround for the infinite loop reported at

http://keeda.stanford.edu/pipermail/klee-dev/2011-August/000723.html

KLEE needs to use --fno-builtin when compiling its version of memset.
However, this patch also adds the workaround suggested by Paul in the
thread above, since support for --fno-builtin was added to llvm-gcc only
after LLVM 2.9 was released.

More details about this issue can be found here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20110411/119376.html
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20110711/124131.html

Thanks to Paul and arrowdodger for their explanations and patches.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@146350 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 1 insertions, 1 deletions

diff --git a/runtime/Intrinsic/memset.c b/runtime/Intrinsic/memset.c
index ee9ecb87..bef85e6a 100644
--- a/runtime/Intrinsic/memset.c
+++ b/runtime/Intrinsic/memset.c
@@ -10,7 +10,7 @@
 #include <stdlib.h>
 
 void *memset(void * dst, int s, size_t count) {
-    char * a = dst;
+    volatile char * a = dst;
     while (count-- > 0)
       *a++ = s;
     return dst;