On Wed, Sep 29, 2010 at 10:58 AM, Daniel Dunbar <daniel at zuster.org> wrote: > On Wed, Sep 29, 2010 at 10:34 AM, nobled <nobled at dreamwidth.org> wrote: >>> Hi, Everyone, >>> >>> It's my first time to set up Klee to run my program by using symbolic >>> execution.got some errors when I tried to compile Klee by typing "make >>> ENABLE_OPTIMIZED=1", it shows like: >>> >>> Passes.h: In constructor ?klee::RaiseAsmPass::RaiseAsmPass()?: >>> Passes.h:52: error: no matching function for call to >>> ?llvm::ModulePass::ModulePass(intptr_t)? >>> /home/leila/llvm/include/llvm/Pass.h:233: note: candidates are: >>> llvm::ModulePas::ModulePass(char&) >>> /home/leila/llvm/include/llvm/Pass.h:218: note: >>> llvm::ModulePas::ModulePass(const llvm::ModulePass&) >>> Passes.h: In constructor >>> ?klee::IntrinsicCleanerPass::IntrinsicCleanerPass(cont llvm::TargetData&, >>> bool)?: >>> Passes.h:72: error: no matching function for call to >>> ?llvm::ModulePass::ModulePass(intptr_t)? >>> /home/leila/llvm/include/llvm/Pass.h:233: note: candidates are: >>> llvm::ModulePass::ModulePass(char&) >>> /home/leila/llvm/include/llvm/Pass.h:218: note: >>> llvm::ModulePass::ModulePass(const llvm::ModulePass&) >>> Passes.h: In constructor ?klee::PhiCleanerPass::PhiCleanerPass()?: >>> Passes.h:94: error: no matching function for call to >>> ?llvm::FunctionPass::FunctionPass(intptr_t)? >>> ... ... >>> >>> that's the part of error indications, it calls the function in Pass.h from >>> llvm include, but I check the Pass.h in llvm directory, ?it seems no >>> problem. So I was wondering what's the problem here? >>> >>> Any suggestions will be appreciated! Thanks. >>> >>> -Arike >> >> I fixed this in http://llvm.org/PR8232 , but nobody's looked at the >> patch. Does Klee still have a maintainer? > > Thanks nobled, > > Yes KLEE does still have a maintainer, but an unfortunately busy one. :( > > I'll take a look ASAP.
This problem (and a few others) should be resolved now, the buildbot is successfully building KLEE with 2.6, 2.7 and trunk. I will add a 2.8 buildbot once the release is done. Thanks for the patch and report! - Daniel > > ?- Daniel > >> >> _______________________________________________ >> klee-dev mailing list >> klee-dev at keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >> >> >
