Hi Chris, This sounds like a problem with mismatch LLVM tool versions. Most likely you either have some existing LLVM tools on your system, or your llvm somehow got configured with an llvm-gcc from a different version.
I'm not sure why this is happening more commonly now, but it is almost certainly the explanation for the test failures. Let's move further discussion to PR7128. - Daniel On Thu, Jun 17, 2010 at 8:25 AM, Chris Hobbs <chobbs at qnx.com> wrote: > I have followed the instructions on the klee website > (http://klee.llvm.org/GetStarted.html) to the letter (twice!) and have a > summary of > > # of expected passes ? ? ? ? ? ?91 > # of unexpected failures ? ? ? ?14 > # of expected failures ? ? ? ? ?2. > > on "make check" with uClibc. Should I be worried about those 14? > > 1. I downloaded and built uClibc with llvm-gcc without errors. > > 2. I configured KLEE with uClibc/POSIX support: > > ./configure --with-llvm=/home/chobbs/klee/llvm-2.6 > --with-uclibc=/home/chobbs/klee/klee-uclibc/ --enable-posix-runtime > > 3. I rebuilt KLEE with "make ENABLE_OPTIMIZED=1". > > This ran into the problem reported in PR #7128 (and PR #6172). I worked > around this by using the 2.7 version of llvm-as to assemble those files. > This may, or may not, be a problem but the make completes without > problem. > > 4. Having read other people's problems on this mailing list, I ensured > that llvm-gcc was in my path: > > # which llvm-gcc > /home/chobbs/klee/llvm-gcc-4.2-2.6-i686-linux/bin/llvm-gcc > > 5. I then ran "make check > fred". The following appeared on stderr: > > WARNING: No tool specified > WARNING: Couldn't find tool config file for unix, using default. > make[1]: *** [check-local] Error 1 > make: *** [check] Error 2 > > The redirected stdout contained the following (filleted---the other 3000 > lines are available on request!) report: > > llvm[0]: Running test suite > make[1]: Entering directory `/home/chobbs/klee/klee/test' > ( ulimit -t 600 ; ulimit -d 512000 ; \ > > PATH="/home/chobbs/klee/klee/Release/bin:/home/chobbs/klee/llvm-2.6/Release/bin:/home/chobbs/klee/llvm-2.6/test/Scripts:/home/chobbs/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/opt/qnx640/host/linux/x86/usr/bin:/etc/qnx/bin:/home/chobbs/sparse/sparse-2010-01-08:/home/chobbs/klee/llvm-gcc-4.2-2.6-i686-linux/bin:/home/chobbs/klee/llvm-2.6/Release/bin:/home/chobbs/klee/klee/Release/bin" > \ > ? ? ? ? ?/usr/bin/runtest ?; ?\ > ? ? ? ? ?! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; ?) > Test Run By chobbs on Thu Jun 17 11:20:06 2010 > Native configuration is i686-pc-linux-gnu > > ? ? ? ? ? ? ? ?=== ?tests === > > Schedule of variations: > ? ?unix > > Running target unix > Using /usr/share/dejagnu/baseboards/unix.exp as board description file > for target. > Using /usr/share/dejagnu/config/unix.exp as generic interface file for > target. > Running /home/chobbs/klee/klee/test/CXX/dg.exp ... > FAIL: /home/chobbs/klee/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/chobbs/klee/klee/test/Coverage/dg.exp ... > > ............snip................. > > Running /home/chobbs/klee/klee/test/Solver/dg.exp ... > Running /home/chobbs/klee/klee/test/regression/dg.exp ... > > ? ? ? ? ? ? ? ?=== ?Summary === > > # of expected passes ? ? ? ? ? ?91 > # of unexpected failures ? ? ? ?14 > # of expected failures ? ? ? ? ?2 > FAIL: /home/chobbs/klee/klee/test/CXX/StaticDestructor.cpp > FAIL: /home/chobbs/klee/klee/test/Dogfood/ImmutableSet.cpp > XFAIL: /home/chobbs/klee/klee/test/Expr/Evaluate2.pc > FAIL: /home/chobbs/klee/klee/test/Feature/WriteCov.c > FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/DirConsistency.c > FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/DirSeek.c > FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/FD_Fail.c > FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/FD_Fail2.c > FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/Isatty.c > XFAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/SELinux.c > FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/SeedAndFail.c > FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/Write1.c > FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/Write2.c > FAIL: > /home/chobbs/klee/klee/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c > FAIL: > /home/chobbs/klee/klee/test/Runtime/Uclibc/2008-03-04-libc-atexit-uses-dso-handle.c > FAIL: /home/chobbs/klee/klee/test/Runtime/Uclibc/Environ.c > make[1]: Leaving directory `/home/chobbs/klee/klee/test' > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
