diff options
author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-03-06 09:37:21 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-06 09:37:21 +0000 |
commit | e608c7a77733662e7b3e71b1e929899c718ce06c (patch) | |
tree | 7d7daa2c10da8ec9650a75ed525f1136e899d303 | |
parent | d2490908daee27974f8a03c8c7c80930d39f6098 (diff) | |
parent | d2aa830f8334464a1087e6dd6f093cf81aba0a55 (diff) | |
download | klee-e608c7a77733662e7b3e71b1e929899c718ce06c.tar.gz |
Merge pull request #611 from jirislaby/getDirectCallTarget
Core: explicitly create CallSite from Instruction
-rw-r--r-- | lib/Core/StatsTracker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index ccf6e04d..e8192a8e 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -168,7 +168,7 @@ static bool instructionIsCoverable(Instruction *i) { Instruction *prev = static_cast<Instruction *>(--it); if (isa<CallInst>(prev) || isa<InvokeInst>(prev)) { Function *target = - getDirectCallTarget(prev, /*moduleIsFullyLinked=*/true); + getDirectCallTarget(CallSite(prev), /*moduleIsFullyLinked=*/true); if (target && target->doesNotReturn()) return false; } |