diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-09-21 00:25:14 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-09-21 00:25:14 +0000 |
| commit | 4bc19308f533c03832125c121eabd53c6bcc1b23 (patch) | |
| tree | aa0419d19a3ecfd5e9852ec6e7c41d8349c1b21e | |
| parent | d3e11dffc7070bc4088f46deba933f76def083fd (diff) | |
| download | klee-4bc19308f533c03832125c121eabd53c6bcc1b23.tar.gz | |
Don't try to evaluate MDNode operands.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@82420 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Module/KModule.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
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)); |