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 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100904/adfca40a/attachment.html
