diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-24 09:24:06 +0100 |
---|---|---|
committer | Jiri Slaby <jirislaby@gmail.com> | 2017-03-01 20:41:17 +0100 |
commit | d2aa830f8334464a1087e6dd6f093cf81aba0a55 (patch) | |
tree | 2f31589d19f75e89ccbb337d000620d94ec77ced /.travis | |
parent | 4f5ea494986689dd89f97f9a64082527557c71c9 (diff) | |
download | klee-d2aa830f8334464a1087e6dd6f093cf81aba0a55.tar.gz |
Core: explicitly create CallSite from Instruction
Newer LLVMs do not allow implicit conversion from Instruction to CallSite. We see this error: Internal/Support/ModuleUtil.h:36:19: note: candidate function not viable: no known conversion from 'llvm::Instruction *' to 'llvm::CallSite' for 1st argument llvm::Function *getDirectCallTarget(llvm::CallSite); ^ So explicitly create a CallSite from Instruction. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions