[LLVMdev] problem when building coreutil

[Wenbin Zhang]

Hi all,

I'm new to llvm and klee. Now I'm trying to build up coreutil with klee.

Following the steps online (http://klee.llvm.org/TestingCoreutils.html), I
went to step 3 and stuck.

When I try to run:
 klee --libc=uclibc --posix-runtime ./cat.bc -version
Error occurred like:
klee: error: Cannot find linker input '/lib/libc.a'
klee: ModuleUtil.cpp:42: llvm::Module* klee::linkWithLibrary(llvm::Module*,
const std::string&): Assertion `0 && "linking in library failed!"' failed.
0   klee            0x0000000000e3b21f
1   klee            0x0000000000e3bcda
2   libpthread.so.0 0x00000036d000dd40
3   libc.so.6       0x00000036cf430015 gsignal + 53
4   libc.so.6       0x00000036cf431980 abort + 272
5   libc.so.6       0x00000036cf429726 __assert_fail + 246
6   klee            0x000000000058a541 klee::linkWithLibrary(llvm::Module*,
std::string const&) + 193
7   klee            0x0000000000523fbe
8   klee            0x000000000052bafc main + 7052
9   libc.so.6       0x00000036cf41d8a4 __libc_start_main + 244
10  klee            0x0000000000521fd9
Aborted
 
I wonder why it looks for libc.a under /lib, and I'm not sure how to direct
it to the correct location.
In fact, I'm not sure which libc it should point to. I try to modify the
makefile under obj-llvm, changing 'libdir' to /usr/lib and
/my/path/to/uclibc/lib, but neither works.
 
 

Later I rebuild and try to let LD_LIBRARY_PATH point to uclibc/lib, the
error remains the same.

One thing I should mention is, some error happened during the "make check":

llvm[0]: Running test suite

make[1]: Entering directory `/home/zhangwen/llvm/klee/test'

( ulimit -t 600 ; ulimit -d 512000 ; \

 
PATH="/home/zhangwen/llvm/klee/Release/bin:/home/zhangwen/llvm/llvm-2.6/Rele
ase/bin:/home/zhangwen/llvm/llvm-2.6/test/Scripts:/home/zhangwen/gcc/gcc-4.2
.1-install/bin:/home/zhangwen/llvm/llvm-gcc4.2-2.6.source-install/bin:/home/
zhangwen/llvm/llvm-2.6/Release/bin:/usr/kerberos/bin:/usr/local/bin:/bin:/us
r/bin:/home/zhangwen/bin" \

          /usr/local/bin/runtest  ;  \

          ! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log;  )

WARNING: Couldn't find the global config file.

WARNING: No tool specified

Test Run By zhangwen on Wed Apr 21 18:26:19 2010

Native configuration is x86_64-unknown-linux-gnu

 

                ===  tests ===

 

Schedule of variations:

    unix

 

Running target unix

Using /usr/local/share/dejagnu/baseboards/unix.exp as board description file
for target.

Using /usr/local/share/dejagnu/config/unix.exp as generic interface file for
target.

WARNING: Couldn't find tool config file for unix, using default.

Running /home/zhangwen/llvm/klee/test/CXX/dg.exp ...

FAIL: /home/zhangwen/llvm/klee/test/CXX/StaticDestructor.cpp

Failed with exit(1) at line 3

while running: grep ":16: memory error" StaticDestructor.cpp.tmp1.log

child process exited abnormally

Running /home/zhangwen/llvm/klee/test/Coverage/dg.exp ...

Running /home/zhangwen/llvm/klee/test/Dogfood/dg.exp ...

Running /home/zhangwen/llvm/klee/test/Expr/Lexer/dg.exp ...

Running /home/zhangwen/llvm/klee/test/Expr/Parser/dg.exp ...

Running /home/zhangwen/llvm/klee/test/Expr/dg.exp ...

Running /home/zhangwen/llvm/klee/test/Feature/dg.exp ...

FAIL: /home/zhangwen/llvm/klee/test/Feature/WriteCov.c

Failed with exit(1) at line 3

while running: grep WriteCov.c:10 klee-last/test000002.cov

child process exited abnormally

Running /home/zhangwen/llvm/klee/test/Programs/dg.exp ...

XPASS: /home/zhangwen/llvm/klee/test/Programs/pcregrep.c

Running /home/zhangwen/llvm/klee/test/Runtime/POSIX/dg.exp ...

XPASS: /home/zhangwen/llvm/klee/test/Runtime/POSIX/SELinux.c

Running /home/zhangwen/llvm/klee/test/Runtime/Uclibc/dg.exp ...

Running /home/zhangwen/llvm/klee/test/Solver/dg.exp ...

Running /home/zhangwen/llvm/klee/test/regression/dg.exp ...

 

                ===  Summary ===

 

# of expected passes            102

# of unexpected failures        2

# of unexpected successes       2

# of expected failures          1

FAIL: /home/zhangwen/llvm/klee/test/CXX/StaticDestructor.cpp

XFAIL: /home/zhangwen/llvm/klee/test/Expr/Evaluate2.pc

FAIL: /home/zhangwen/llvm/klee/test/Feature/WriteCov.c

make[1]: *** [check-local] Error 1

make[1]: Leaving directory `/home/zhangwen/llvm/klee/test'

make: *** [check] Error 2

 
Do someone have any idea about that? 
Thanks.
 
 
Best,
--Wenbin

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100422/24b311ff/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ATT00267.txt
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100422/24b311ff/attachment.txt>