Removed debugging code

hernanponcedeleon · Nov 11, 2024 · 23fa26b · 23fa26b
1 parent 8772b56
commit 23fa26b
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLlvm.java b/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLlvm.java
@@ -1021,11 +1021,6 @@ public Expression visitAddrSpaceCastExpr(AddrSpaceCastExprContext ctx) {
     public Expression visitGetElementPtrExpr(GetElementPtrExprContext ctx) {
         final Type indexingType = parseType(ctx.type());
         final Expression base = visitTypeConst(ctx.typeConst());
-        if (base == null) {
-            final String typeConst = ctx.typeConst().getText();
-            final String rep = ctx.getText();
-            int i = 5;
-        }
         final var offsets = new ArrayList<Expression>();
         for (final GepIndexContext index : ctx.gepIndex()) {
             offsets.add(visitTypeConst(index.typeConst()));