[PATCH 2/4] Use CallSite in StatsTracker::computeReachableUncovered

Peter Collingbourne peter at pcc.me.uk
Wed Aug 4 08:35:57 PDT 2010


---
 lib/Core/StatsTracker.cpp |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index d84db64..08df312 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,
-- 
1.7.1


--+HP7ph2BbKc20aGI
Content-Type: text/x-diff; charset=us-ascii
Content-Disposition: attachment; filename="0003-Have-getDirectCallTarget-use-CallSite.patch"



More information about the klee-commits mailing list