From 6d4c71586d265e4280e497913284a30890b5d522 Mon Sep 17 00:00:00 2001
From: Werner Almesberger <werner@almesberger.net>
Date: Fri, 1 Jun 2012 14:52:32 -0300
Subject: [PATCH] b2/test/hierred: test for redundant conditions

---
 b2/test/hierred | 135 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 135 insertions(+)
 create mode 100755 b2/test/hierred

diff --git a/b2/test/hierred b/b2/test/hierred
new file mode 100755
index 0000000..4af0603
--- /dev/null
+++ b/b2/test/hierred
@@ -0,0 +1,135 @@
+#!/bin/bash
+. ./Common
+
+###############################################################################
+
+tst "hierarchy: == 1 followed by == 2" <<EOF
+N=## {
+	1:	{ X=* };
+	2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    1: { X=* }
+    2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: == 2 followed by unreachable == 2" <<EOF
+N=## {
+	2:	{ X=* };
+	2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+h:4: warning: unreachable condition
+N=## {
+    2: { X=* }
+    2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 2 followed by < 3" <<EOF
+N=## {
+	<2:	{ X=* };
+	<3:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    <2: { X=* }
+    <3: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 3 followed by unreachable < 2" <<EOF
+N=## {
+	<3:	{ X=* };
+	<2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+h:4: warning: unreachable condition
+N=## {
+    <3: { X=* }
+    <2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 2 followed by <= 2" <<EOF
+N=## {
+	<2:	{ X=* };
+	<=2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    <2: { X=* }
+    <=2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: <= 2 followed by unreachable < 2" <<EOF
+N=## {
+	<=2:	{ X=* };
+	<2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+h:4: warning: unreachable condition
+N=## {
+    <=2: { X=* }
+    <2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 3 followed by > 1" <<EOF
+N=## {
+	<3:	{ X=* };
+	>1:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    <3: { X=* }
+    >1: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 3 followed by predictable but reachable > 2" <<EOF
+N=## {
+	<3:	{ X=* };
+	>2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    <3: { X=* }
+    >2: { Y=* }
+}
+EOF
+
+###############################################################################