diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-07-18 17:39:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-18 17:39:21 +0100 |
| commit | 5e4f0b7c79d57b9a9908f6293a5936fa54e511e9 (patch) | |
| tree | 8429e4cb0c60bec43621c4971626fea397ea108f /lib/Module/Checks.cpp | |
| parent | 64f367ea9db4739b70414cba002bf25d28db6242 (diff) | |
| parent | c9c90a0ecdce10172fd5318aea60a9ff4057679f (diff) | |
| download | klee-5e4f0b7c79d57b9a9908f6293a5936fa54e511e9.tar.gz | |
Merge pull request #672 from jirislaby/llvm40_static_casts
llvm: get rid of static_casts from iterators
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 48a4eb94..eb0f189b 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", - static_cast<Instruction *>(i)); + &*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", - static_cast<Instruction *>(i)); + &*i); args.push_back(shift); |