* tests/regression/bugzilla/All.java: Added test case for PR65.
authorStefan Ring <stefan@complang.tuwien.ac.at>
Sat, 3 May 2008 15:58:09 +0000 (17:58 +0200)
committerStefan Ring <stefan@complang.tuwien.ac.at>
Sat, 3 May 2008 15:58:09 +0000 (17:58 +0200)
tests/regression/bugzilla/All.java
tests/regression/bugzilla/PR65.java [new file with mode: 0644]

index 8e144ea2e645dc5ba6347b584262081e53728938..e5fcac12fcd6a887401a612f84436059f1e2f23e 100644 (file)
@@ -47,6 +47,7 @@ public class All extends TestCase {
         suite.addTest(new TestSuite(PR52.class));
         suite.addTest(new TestSuite(PR57.class));
         suite.addTest(new TestSuite(PR58.class));
+        suite.addTest(new TestSuite(PR65.class));
 
         return suite;
     }
diff --git a/tests/regression/bugzilla/PR65.java b/tests/regression/bugzilla/PR65.java
new file mode 100644 (file)
index 0000000..b8a5ef1
--- /dev/null
@@ -0,0 +1,46 @@
+/* tests/regression/bugzilla/PR65.java
+
+   Copyright (C) 2008
+   CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
+
+   This file is part of CACAO.
+
+   This program is free software; you can redistribute it and/or
+   modify it under the terms of the GNU General Public License as
+   published by the Free Software Foundation; either version 2, or (at
+   your option) any later version.
+
+   This program is distributed in the hope that it will be useful, but
+   WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+   02110-1301, USA.
+
+*/
+
+
+import junit.framework.*;
+import junit.textui.*;
+
+public class PR65 extends TestCase {
+    public static void main(String[] args) {
+        TestRunner.run(suite());
+    }
+
+    public static Test suite() {
+        return new TestSuite(PR65.class);
+    }
+
+    public void test() {
+        try {
+            Object o = new int[2][1];
+            Number[][] na = (Number[][]) o;
+            fail("Should throw ClassCastException");
+        } catch (ClassCastException success) {
+        }
+    }
+}