diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-03-01 11:21:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-01 11:21:06 +0000 |
| commit | 4f5ea494986689dd89f97f9a64082527557c71c9 (patch) | |
| tree | e49d673744e699506506cbe0a3dc29c215170877 /lib/Module/Checks.cpp | |
| parent | e21bf6f653b9c602fe21b74ff7c389aa2430b386 (diff) | |
| parent | b7a6aec4eeb4cbbc71d4747d2aa6d25dda41d5d1 (diff) | |
| download | klee-4f5ea494986689dd89f97f9a64082527557c71c9.tar.gz | |
Merge pull request #604 from jirislaby/add_casts
convert iterators using static_cast
Diffstat (limited to 'lib/Module/Checks.cpp')
| -rw-r--r-- | lib/Module/Checks.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Module/Checks.cpp b/lib/Module/Checks.cpp index 44b35e6e..48a4eb94 100644 --- a/lib/Module/Checks.cpp +++ b/lib/Module/Checks.cpp @@ -71,7 +71,7 @@ bool DivCheckPass::runOnModule(Module &M) { Type::getInt64Ty(ctx), false, /* sign doesn't matter */ "int_cast_to_i64", - i); + static_cast<Instruction *>(i)); // Lazily bind the function to avoid always importing it. if (!divZeroCheckFunction) { @@ -129,7 +129,7 @@ bool OvershiftCheckPass::runOnModule(Module &M) { Type::getInt64Ty(ctx), false, /* sign doesn't matter */ "int_cast_to_i64", - i); + static_cast<Instruction *>(i)); args.push_back(shift); |