[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