> 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? -------------- next part -------------- A non-text attachment was scrubbed... Name: klee-new-type-identifier-llvm28.patch Type: text/x-patch Size: 1825 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100929/be2b06df/attachment.bin
