diff options
Diffstat (limited to 'lib/Core/ExecutorUtil.cpp')
| -rw-r--r-- | lib/Core/ExecutorUtil.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
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( |