KLEE currently supports LLVM 2.9 and an older version of uclibc, but we are happy to accept any patches that make it work with newer versions.
Best, Cristian On 06/14/2012 04:52 PM, fady ghanim wrote: > I am trying to build klee using LLVM 3.0 with Clang; and when was trying > to build the uclibc provided on the klee website with clang, I ran into > this compilation error: > In file included from libc/stdlib/strtol_l.c:8: > libc/stdlib/stdlib.c:346:34: error: conflicting types for 'strtoll_l' > extern __typeof(strtol) __XL_NPP(strtoll); > ^ > ./include/bits/uClibc_locale.h:371:21: note: expanded from: > #define __XL_NPP(N) N ## _l > ^ > <scratch space>:94:1: note: expanded from: > strtoll_l > ^ > ./include/stdlib.h:263:22: note: previous declaration is here > extern long long int strtoll_l (__const char *__restrict __nptr, > ^ > In file included from libc/stdlib/strtol_l.c:8: > libc/stdlib/stdlib.c:348:40: error: conflicting types for 'strtoll_l' > strong_alias(__XL_NPP(strtol),__XL_NPP(strtoll)) > ^ > ./include/bits/uClibc_locale.h:371:21: note: expanded from: > #define __XL_NPP(N) N ## _l > ^ > <scratch space>:94:1: note: expanded from: > strtoll_l > ^ > ./include/libc-symbols.h:157:60: note: expanded from: > # define strong_alias(name, aliasname) _strong_alias(name, aliasname) > ^ > ./include/libc-symbols.h:159:26: note: expanded from: > extern __typeof (name) aliasname __attribute__ ((alias (#name))); > ^ > ./include/stdlib.h:263:22: note: previous declaration is here > extern long long int strtoll_l (__const char *__restrict __nptr, > ^ > 2 errors generated. > make: *** [libc/stdlib/strtol_l.os] Error 1 > > > it is worth mentioning that when i compile uclibc "as is" it finishes > but will cause problems later for me when i run the "make check" in > klee, in relation to some of the libraries that should be disabled in > the uclibc makefiles (per instructions in the "BUILD_W_LLVM_README" > file), however when I do the "todo" parts in the file, i start getting > problems above related to the locale definition in the .config file > mentioned in step 6. > > My question is: > 1- How to avoid these problems?? > 2- are these errors related to the fact that am using LLVM 3.0/Clang?? > if Yes, is there a solution or not, and are there any plans to support > llvm versions beyond 2.9?? > > Thanks, > Fady > > > > _______________________________________________ > klee-dev mailing list > [email protected] > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
