On Tue, Aug 02, 2011 at 03:42:54PM -0700, Kenneth Kron wrote:
> I have llvm-2.8 configured and built.
>
> When I run make it gets pretty far along and then
>
> lvm[2]: Linking Release+Asserts executable gen-random-bout (without symbols)
> llvm[2]: ======= Finished Linking Release+Asserts Executable gen-random-bout
> (without symbols)
> make[2]: Leaving directory `/opt/src/klee/klee/tools/gen-random-bout'
> make[2]: Entering directory `/opt/src/klee/klee/tools/klee-stats'
> make[2]: Nothing to be done for `all'.
> make[2]: Leaving directory `/opt/src/klee/klee/tools/klee-stats'
> make[1]: Leaving directory `/opt/src/klee/klee/tools'
> make[1]: Entering directory `/opt/src/klee/klee/runtime'
> make[2]: Entering directory `/opt/src/klee/klee/runtime/Intrinsic'
> llvm[2]: Compiling klee_div_zero_check.ll to klee_div_zero_check.bc for
> Release+Asserts build (bytecode)
> /opt/kkron/src/klee/llvm-2.8/Release+Asserts/bin/llvm-as:
> /opt/src/klee/klee/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.ll:5:17:
> error: expected 'global' or 'constant'
> @.str = private unnamed_addr constant [22 x i8] c"klee_div_zero_check.c\00",
> align 1
> ^
> Followed by lots of
>
> ^
> llvm[2]: Compiling klee_int.ll to klee_int.bc for Release+Asserts build
> (bytecode)
> /opt/kkron/src/klee/llvm-2.8/Release+Asserts/bin/llvm-as:
> /opt/src/klee/klee/runtime/Intrinsic/Release+Asserts/klee_int.ll:5:42:
> error: expected '{' in function body
> define i32 @klee_int(i8* %name) nounwind uwtable {
> ^
> pointing at uwtable
>
> Any clues?
Hi Kenneth,
unnamed_addr and uwtable are LLVM IR attributes introduced in more
recent versions of LLVM (unnamed_addr was introduced in 2.9 and
uwtable is only present in SVN trunk, IIRC). Do you have a more
recent llvm-gcc or clang in your $PATH?
Thanks,
--
Peter
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
