From eb16f4141a23f476830dd5ccfccff7abf48824eb Mon Sep 17 00:00:00 2001
From: Pietro Fezzardi <pietro@rev.ng>
Date: Thu, 1 Sep 2022 14:31:19 +0200
Subject: [PATCH] MakeModelGEP: remove too strict assertion

---
 lib/IRCanonicalization/MakeModelGEPPass.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/lib/IRCanonicalization/MakeModelGEPPass.cpp b/lib/IRCanonicalization/MakeModelGEPPass.cpp
index 27038d33c..e43eb8f2b 100644
--- a/lib/IRCanonicalization/MakeModelGEPPass.cpp
+++ b/lib/IRCanonicalization/MakeModelGEPPass.cpp
@@ -1190,10 +1190,6 @@ makeBestGEPArgs(const TypedBaseAddress &TBA,
           // The current IR indices have been handled, increase the iterator.
           ++IRIndicesIt;
         } else {
-          // If we ran out of indices in IRAP there's no offset left, so
-          // consider this to be zero
-          revng_assert(RestOff.isNullValue());
-
           Back.Index = ConstantInt::get(llvm::IntegerType::get(Ctxt,
                                                                64 /*NumBits*/),
                                         RestOff);