From 800e3117c9c36970f3e9e70844b12d04de9c0e40 Mon Sep 17 00:00:00 2001
From: SirYwell <hannesgreule@outlook.de>
Date: Wed, 7 May 2025 14:24:55 +0200
Subject: [PATCH] Skip unreachable code in SSA translation

---
 .../java/edu/kit/kastel/vads/compiler/ir/SsaTranslation.java  | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main/java/edu/kit/kastel/vads/compiler/ir/SsaTranslation.java b/src/main/java/edu/kit/kastel/vads/compiler/ir/SsaTranslation.java
index 95f885f..14133d0 100644
--- a/src/main/java/edu/kit/kastel/vads/compiler/ir/SsaTranslation.java
+++ b/src/main/java/edu/kit/kastel/vads/compiler/ir/SsaTranslation.java
@@ -130,6 +130,10 @@ public class SsaTranslation {
             pushSpan(blockTree);
             for (StatementTree statement : blockTree.statements()) {
                 statement.accept(this, data);
+                // skip everything after a return in a block
+                if (statement instanceof ReturnTree) {
+                    break;
+                }
             }
             popSpan();
             return NOT_AN_EXPRESSION;