From 4bc19308f533c03832125c121eabd53c6bcc1b23 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 21 Sep 2009 00:25:14 +0000
Subject: Don't try to evaluate MDNode operands.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@82420 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Module/KModule.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib/Module')

diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp
index 55eb4b8a..c880cba3 100644
--- a/lib/Module/KModule.cpp
+++ b/lib/Module/KModule.cpp
@@ -494,7 +494,8 @@ KFunction::KFunction(llvm::Function *_function,
           ki->operands[j] = registerMap[inst];
         } else if (Argument *a = dyn_cast<Argument>(v)) {
           ki->operands[j] = a->getArgNo();
-        } else if (isa<BasicBlock>(v) || isa<InlineAsm>(v)) {
+        } else if (isa<BasicBlock>(v) || isa<InlineAsm>(v) ||
+                   isa<MDNode>(v)) {
           ki->operands[j] = -1;
         } else {
           assert(isa<Constant>(v));
-- 
cgit 1.4.1