From 1d98ac411c77ac56478e4b4365c81311f7849725 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Thu, 5 Aug 2010 17:53:08 +0000
Subject: Use CallSite in StatsTracker::computeReachableUncovered

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

(limited to 'lib/Core')

diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index d84db648..08df3127 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -609,7 +609,8 @@ void StatsTracker::computeReachableUncovered() {
         for (BasicBlock::iterator it = bbIt->begin(), ie = bbIt->end(); 
              it != it; ++it) {
           if (isa<CallInst>(it) || isa<InvokeInst>(it)) {
-            if (isa<InlineAsm>(it->getOperand(0))) {
+            CallSite cs(it);
+            if (isa<InlineAsm>(cs.getCalledValue())) {
               // We can never call through here so assume no targets
               // (which should be correct anyhow).
               callTargets.insert(std::make_pair(it,
-- 
cgit 1.4.1