From 40d4cc09c873518519723244b38cc740ceda2bc8 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 12 Jul 2009 20:42:31 +0000 Subject: Update for LLVM API changes. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75427 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Module/LowerSwitch.cpp | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'lib/Module') 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 -- cgit 1.4.1