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/LowerSwitch.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/LowerSwitch.cpp')
| -rw-r--r-- | lib/Module/LowerSwitch.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Module/LowerSwitch.cpp b/lib/Module/LowerSwitch.cpp index 7f28748a..5cc6b991 100644 --- a/lib/Module/LowerSwitch.cpp +++ b/lib/Module/LowerSwitch.cpp @@ -44,7 +44,8 @@ bool LowerSwitchPass::runOnFunction(Function &F) { bool changed = false; for (Function::iterator I = F.begin(), E = F.end(); I != E; ) { - BasicBlock *cur = I++; // Advance over block so we don't traverse new blocks + BasicBlock *cur = static_cast<BasicBlock *>(I); + I++; // Advance over block so we don't traverse new blocks if (SwitchInst *SI = dyn_cast<SwitchInst>(cur->getTerminator())) { changed = true; |