Hi Arike, I believe this has been fixed on mainline, can you confirm?
- Daniel On Sat, Sep 4, 2010 at 6:44 PM, LI LEI <leimli.hit at gmail.com> 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 > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
