From d0fb8c2e87abb8b5b429acd5e0ce1812bc956017 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= <kamil.sliwak@codepoets.it>
Date: Fri, 25 Nov 2022 21:36:53 +0100
Subject: [PATCH] Fix another instance of the spurious unreachable warning,
 this time in SemVerMatcher

---
 test/libsolidity/SemVerMatcher.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test/libsolidity/SemVerMatcher.cpp b/test/libsolidity/SemVerMatcher.cpp
index e1ad89445..fe82854e6 100644
--- a/test/libsolidity/SemVerMatcher.cpp
+++ b/test/libsolidity/SemVerMatcher.cpp
@@ -75,6 +75,9 @@ SemVerMatchExpression parseExpression(string const& _input)
 		// Ignored, since a test case should have a parsable version
 		soltestAssert(false);
 	}
+
+	// FIXME: Workaround for spurious GCC 12.1 warning (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105794)
+	util::unreachable();
 }
 
 }