diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-07-12 20:42:31 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-07-12 20:42:31 +0000 |
| commit | 40d4cc09c873518519723244b38cc740ceda2bc8 (patch) | |
| tree | 1e5918852817b13d7c146e28654c52d9ffa18422 /lib/Module/LowerSwitch.cpp | |
| parent | 1277acf6d1de3208a458d76710a94e63f9d3bf94 (diff) | |
| download | klee-40d4cc09c873518519723244b38cc740ceda2bc8.tar.gz | |
Update for LLVM API changes.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75427 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Module/LowerSwitch.cpp')
| -rw-r--r-- | lib/Module/LowerSwitch.cpp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/lib/Module/LowerSwitch.cpp b/lib/Module/LowerSwitch.cpp index a1b887f3..a2033eae 100644 --- a/lib/Module/LowerSwitch.cpp +++ b/lib/Module/LowerSwitch.cpp @@ -64,12 +64,8 @@ void LowerSwitchPass::switchConvert(CaseItr begin, CaseItr end, Function::iterator FI = origBlock; F->getBasicBlockList().insert(++FI, newBlock); - ICmpInst *cmpInst = new ICmpInst(ICmpInst::ICMP_EQ, - value, - it->value, - "Case Comparison"); - - newBlock->getInstList().push_back(cmpInst); + ICmpInst *cmpInst = + new ICmpInst(*newBlock, ICmpInst::ICMP_EQ, value, it->value, "case.cmp"); BranchInst::Create(it->block, curHead, cmpInst, newBlock); // If there were any PHI nodes in this successor, rewrite one entry |