Thanks Daniel and Cristian; i tried with the current version of llvm (svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm ) and llvm-gcc4.2-2.5. However still getting same error:
> 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? On Tue, Jul 14, 2009 at 2:56 AM, Daniel Dunbar <daniel at zuster.org> wrote: > 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 > > > > > -- Mehmet Fatih BOYACI UIllinois at Urbana-Champaign PhD Candidate, Computer Science -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090714/f4f53b76/attachment.html
