From 5dc990d744f8ed30f83c617a4c17f028827d7c14 Mon Sep 17 00:00:00 2001
From: Vladiwostok <rickvsprot@protonmail.com>
Date: Wed, 13 Dec 2023 23:26:34 +0200
Subject: [PATCH] Fix segfault caused by UnusedLabelCheck

---
 src/dscanner/analysis/unused_label.d | 34 ++++++++++++++++++----------
 1 file changed, 22 insertions(+), 12 deletions(-)

diff --git a/src/dscanner/analysis/unused_label.d b/src/dscanner/analysis/unused_label.d
index fcd038f8..dde84501 100644
--- a/src/dscanner/analysis/unused_label.d
+++ b/src/dscanner/analysis/unused_label.d
@@ -10,12 +10,12 @@ import dmd.tokens;
 /**
  * Checks for labels that are never used.
  */
-extern(C++) class UnusedLabelCheck(AST) : BaseAnalyzerDmd
+extern (C++) class UnusedLabelCheck(AST) : BaseAnalyzerDmd
 {
 	alias visit = BaseAnalyzerDmd.visit;
 	mixin AnalyzerInfo!"unused_label_check";
 
-	extern(D) this(string fileName, bool skipTests = false)
+	extern (D) this(string fileName, bool skipTests = false)
 	{
 		super(fileName, skipTests);
 	}
@@ -30,17 +30,18 @@ extern(C++) class UnusedLabelCheck(AST) : BaseAnalyzerDmd
 	override void visit(AST.LabelStatement ls)
 	{
 		Label* label = ls.ident.toString() in current;
-		
+
 		if (label is null)
 		{
-			current[ls.ident.toString()] = Label(ls.ident.toString(), ls.loc.linnum, ls.loc.charnum, false);
+			current[ls.ident.toString()] = Label(ls.ident.toString(),
+					ls.loc.linnum, ls.loc.charnum, false);
 		}
 		else
 		{
 			label.line = ls.loc.linnum;
 			label.column = ls.loc.charnum;
 		}
-		
+
 		super.visit(ls);
 	}
 
@@ -86,7 +87,7 @@ extern(C++) class UnusedLabelCheck(AST) : BaseAnalyzerDmd
 		super.visit(fd);
 		popScope();
 	}
-	
+
 	override void visit(AST.AsmStatement as)
 	{
 		if (!as.tokens)
@@ -97,9 +98,18 @@ extern(C++) class UnusedLabelCheck(AST) : BaseAnalyzerDmd
 		if (as.tokens[0].ident && as.tokens[0].ident.toString()[0] == 'j')
 			jmp = true;
 
+		if (as.tokens[0].ident)
+		{
+			auto asmInstr = as.tokens[0].ident.toString();
+			if (asmInstr !is null && asmInstr[0] == 'j')
+				jmp = true;
+		}
+
 		// Last argument of the jmp instruction will be the label
-		Token *label;
-		for (label = as.tokens; label.next; label = label.next) {}
+		Token* label;
+		for (label = as.tokens; label.next; label = label.next)
+		{
+		}
 
 		if (jmp && label.ident)
 			labelUsed(label.ident.toString());
@@ -115,9 +125,9 @@ private:
 		bool used;
 	}
 
-	extern(D) Label[const(char)[]][] stack;
+	extern (D) Label[const(char)[]][] stack;
 
-	extern(D) auto ref current()
+	extern (D) auto ref current()
 	{
 		return stack[$ - 1];
 	}
@@ -146,7 +156,7 @@ private:
 		stack.length--;
 	}
 
-	extern(D) void labelUsed(const(char)[] name)
+	extern (D) void labelUsed(const(char)[] name)
 	{
 		Label* entry = name in current;
 		if (entry is null)
@@ -239,4 +249,4 @@ unittest
 	}c, sac);
 
 	stderr.writeln("Unittest for UnusedLabelCheck passed.");
-}
\ No newline at end of file
+}