diff --git a/test/compiler/snc_test.plt b/test/compiler/snc_test.plt
index 603eff27ca3344b98972888fde01db91600b81ed..9a54297565167f3c474e8c1782e5bc9b751aec75 100644
--- a/test/compiler/snc_test.plt
+++ b/test/compiler/snc_test.plt
@@ -14,6 +14,7 @@ my $success = {
 
 my $warning = {
   sncExOpt_UnrecOpt => 1,
+  state_not_reachable => 3,
   syncq_no_size => 1,
 };
 
diff --git a/test/compiler/state_not_reachable.st b/test/compiler/state_not_reachable.st
new file mode 100644
index 0000000000000000000000000000000000000000..d8c4119fdc09a6a8d2dd8a3b250798ac0d77e614
--- /dev/null
+++ b/test/compiler/state_not_reachable.st
@@ -0,0 +1,26 @@
+/*************************************************************************\
+Copyright (c) 2010-2012 Helmholtz-Zentrum Berlin f. Materialien
+                        und Energie GmbH, Germany (HZB)
+This file is distributed subject to a Software License Agreement found
+in the file LICENSE that is included with this distribution.
+\*************************************************************************/
+program state_not_reachable
+
+ss with_not_reachable_states {
+    state init {
+        when () {
+        } state init
+    }
+    state not_reachable_1 {
+        when () {
+        } state not_reachable_2
+    }
+    state not_reachable_2 {
+        when () {
+        } state not_reachable_3
+    }
+    state not_reachable_3 {
+        when () {
+        } state not_reachable_1
+    }
+}