From e09eb2876e8bae2a683f40dc338537b08298cc99 Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Thu, 24 Jun 2010 22:12:38 +0000 Subject: Remove llvm.dbg.value intrinsic new to LLVM 2.7 git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106802 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Module/IntrinsicCleaner.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/Module') diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index 5898e89d..540ee0d3 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -122,6 +122,8 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b) { case Intrinsic::dbg_region_start: case Intrinsic::dbg_region_end: case Intrinsic::dbg_func_start: +#else + case Intrinsic::dbg_value: #endif case Intrinsic::dbg_declare: // Remove these regardless of lower intrinsics flag. This can -- cgit 1.4.1