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 index ca6ffe4180..af27fcf23b 100644 --- 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(); for (final GepIndexContext index : ctx.gepIndex()) { offsets.add(visitTypeConst(index.typeConst()));