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
