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. - Daniel > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
