diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2010-08-05 17:53:08 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2010-08-05 17:53:08 +0000 |
| commit | 1d98ac411c77ac56478e4b4365c81311f7849725 (patch) | |
| tree | ee35232f24c9d3f40e35c6a68b530ecbedd535a3 | |
| parent | ae6b58bba9c18954c6156223eb3df810fcf0dbbd (diff) | |
| download | klee-1d98ac411c77ac56478e4b4365c81311f7849725.tar.gz | |
Use CallSite in StatsTracker::computeReachableUncovered
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@110350 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | 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 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, |