Hi Mehmet, Please update to top-of-tree llvm & klee and try again.
The version of llvm-gcc shouldn't matter, as far as I know klee should work fine with the llvm-gcc release with LLVM 2.5. - Daniel On Mon, Jul 13, 2009 at 11:27 PM, M. Fatih BOYACI<mboyaci2 at illinois.edu> wrote: > Hi all; > I am trying to run klee with llvm 2.4 and llvm-gcc 2.5 with OS ubuntu 8.10 > (as given in?http://klee.llvm.org/GetStarted.html), however i am getting an > error, given below, > when i am trying to build klee with make ENABLE_OPTIMIZED=1 : > llvm[2]: Compiling Debug.cpp for Release build > llvm[2]: Compiling main.cpp for Release build > main.cpp: In function ?llvm::Module* linkWithUclibc(llvm::Module*)?: > main.cpp:1043: error: ?getNullValue? is not a member of ?llvm::Constant? > main.cpp:1044: error: ?getNullValue? is not a member of ?llvm::Constant? > main.cpp:1045: error: ?getNullValue? is not a member of ?llvm::Constant? > main.cpp:1046: error: ?getNullValue? is not a member of ?llvm::Constant? > Can anyone help me with this ? And also which llvm and llvm-gcc version > should we use with the latest klee release ? > Thanks.. > > -- > Mehmet Fatih BOYACI > UIllinois at Urbana-Champaign > PhD Candidate, Computer Science > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
