[klee] r110350 - /klee/trunk/lib/Core/StatsTracker.cpp

[Peter Collingbourne]

Author: pcc
Date: Thu Aug  5 12:53:08 2010
New Revision: 110350

URL: http://llvm.org/viewvc/llvm-project?rev=110350&view=rev
Log:
Use CallSite in StatsTracker::computeReachableUncovered

Modified:
    klee/trunk/lib/Core/StatsTracker.cpp

Modified: klee/trunk/lib/Core/StatsTracker.cpp
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/lib/Core/StatsTracker.cpp?rev=110350&r1=110349&r2=110350&view=diff
==============================================================================
--- klee/trunk/lib/Core/StatsTracker.cpp (original)
+++ klee/trunk/lib/Core/StatsTracker.cpp Thu Aug  5 12:53:08 2010
@@ -609,7 +609,8 @@
         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,