Update for LLVM changes - there is no more "unwind" instruction.

Patch by arrowdodger!

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@150354 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 5 insertions, 1 deletions

diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index f3eca268..e2fa0d35 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -669,7 +669,11 @@ void StatsTracker::computeReachableUncovered() {
           unsigned id = infos.getInfo(it).id;
           sm.setIndexedValue(stats::minDistToReturn, 
                              id, 
-                             isa<ReturnInst>(it) || isa<UnwindInst>(it));
+                             isa<ReturnInst>(it)
+#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1)
+                             || isa<UnwindInst>(it)
+#endif
+                             );
         }
       }
     }