From d8553f3cec042b5af9e21c268cb14ee8f7b30083 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Wed, 15 Dec 2021 16:20:29 +0000
Subject: remove LLVM < 6 from sources

---
 lib/Core/ExecutorUtil.cpp | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'lib/Core/ExecutorUtil.cpp')

diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp
index 84226a64..1050ba23 100644
--- a/lib/Core/ExecutorUtil.cpp
+++ b/lib/Core/ExecutorUtil.cpp
@@ -214,11 +214,7 @@ namespace klee {
           continue;
 
         // Handle a struct index, which adds its field offset to the pointer.
-#if LLVM_VERSION_CODE >= LLVM_VERSION(4, 0)
         if (auto STy = ii.getStructTypeOrNull()) {
-#else
-        if (StructType *STy = dyn_cast<StructType>(*ii)) {
-#endif
           unsigned ElementIdx = indexOp->getZExtValue();
           const StructLayout *SL = kmodule->targetData->getStructLayout(STy);
           base = base->Add(
-- 
cgit 1.4.1