You probably need to update klee, specifically to revision 75626 or later. - Daniel
On Tue, Jul 14, 2009 at 1:25 AM, M. Fatih BOYACI<fboyaci at gmail.com> 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 >
