Hi Mehmet, Daniel just pushed a fix for this issue half an hour ago or so. Please do another svn up and let us know if you're still seeing any errors.
Cristian On Tue, 2009-07-14 at 03:26 -0500, M. Fatih BOYACI wrote: > 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 > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
