4 files changed, 48 insertions, 0 deletions
diff --git a/gcc/testsuite/gm2/pim/fail/badset1.mod b/gcc/testsuite/gm2/pim/fail/badset1.mod
new file mode 100644
index 0000000..de56fe3
--- /dev/null
+++ b/gcc/testsuite/gm2/pim/fail/badset1.mod
@@ -0,0 +1,13 @@
+MODULE badset1 ;
+
+FROM libc IMPORT printf ;
+
+VAR
+   s: SET OF [1..10] ;
+   c: CARDINAL ;
+BEGIN
+   IF c = s
+   THEN
+      printf ("broken\n")
+   END
+END badset1.
diff --git a/gcc/testsuite/gm2/pim/fail/badset2.mod b/gcc/testsuite/gm2/pim/fail/badset2.mod
new file mode 100644
index 0000000..b8c798f
--- /dev/null
+++ b/gcc/testsuite/gm2/pim/fail/badset2.mod
@@ -0,0 +1,13 @@
+MODULE badset2 ;
+
+FROM libc IMPORT printf ;
+
+VAR
+   s: SET OF [1..10] ;
+   c: CARDINAL ;
+BEGIN
+   IF c # s
+   THEN
+      printf ("broken\n")
+   END
+END badset2.
diff --git a/gcc/testsuite/gm2/pim/fail/badset3.mod b/gcc/testsuite/gm2/pim/fail/badset3.mod
new file mode 100644
index 0000000..fcbf177
--- /dev/null
+++ b/gcc/testsuite/gm2/pim/fail/badset3.mod
@@ -0,0 +1,11 @@
+MODULE badset3 ;
+
+
+VAR
+   s10: SET OF [1..10] ;
+   s20: SET OF [1..20] ;
+BEGIN
+   IF s10 = s20
+   THEN
+   END
+END badset3.
diff --git a/gcc/testsuite/gm2/pim/fail/badset4.mod b/gcc/testsuite/gm2/pim/fail/badset4.mod
new file mode 100644
index 0000000..2382e4e
--- /dev/null
+++ b/gcc/testsuite/gm2/pim/fail/badset4.mod
@@ -0,0 +1,11 @@
+MODULE badset4 ;
+
+
+VAR
+   s10: SET OF [1..10] ;
+   s20: SET OF [1..20] ;
+BEGIN
+   IF s10 > s20
+   THEN
+   END
+END badset4.