aboutsummaryrefslogtreecommitdiff
path: root/libjava/testsuite/libjava.verify
diff options
context:
space:
mode:
authorAndrew Haley <aph@redhat.com>2016-09-30 16:24:48 +0000
committerAndrew Haley <aph@gcc.gnu.org>2016-09-30 16:24:48 +0000
commit07b78716af6a9d7c9fd1e94d9baf94a52c873947 (patch)
tree3f22b3241c513ad168c8353805614ae1249410f4 /libjava/testsuite/libjava.verify
parenteae993948bae8b788c53772bcb9217c063716f93 (diff)
downloadgcc-07b78716af6a9d7c9fd1e94d9baf94a52c873947.zip
gcc-07b78716af6a9d7c9fd1e94d9baf94a52c873947.tar.gz
gcc-07b78716af6a9d7c9fd1e94d9baf94a52c873947.tar.bz2
Makefile.def: Remove libjava.
2016-09-30 Andrew Haley <aph@redhat.com> * Makefile.def: Remove libjava. * Makefile.tpl: Likewise. * Makefile.in: Regenerate. * configure.ac: Likewise. * configure: Likewise. * gcc/java: Remove. * libjava: Likewise. From-SVN: r240662
Diffstat (limited to 'libjava/testsuite/libjava.verify')
-rw-r--r--libjava/testsuite/libjava.verify/README.verify10
-rw-r--r--libjava/testsuite/libjava.verify/verify.exp83
2 files changed, 0 insertions, 93 deletions
diff --git a/libjava/testsuite/libjava.verify/README.verify b/libjava/testsuite/libjava.verify/README.verify
deleted file mode 100644
index d28cdf8..0000000
--- a/libjava/testsuite/libjava.verify/README.verify
+++ /dev/null
@@ -1,10 +0,0 @@
-The verifier tests come from Mauve.
-See http://sources.redhat.com/mauve
-
-You want the "verify" module in the Mauve cvs repository.
-
-In Mauve, only the sources are checked in. However, these need
-jasmin to be compiled to bytecode. Since jasmin would require either
-another VM or gcj itself to already be working and installed (just to
-compile it), we've chose to precompile all the .j files to .class
-files and then import the result.
diff --git a/libjava/testsuite/libjava.verify/verify.exp b/libjava/testsuite/libjava.verify/verify.exp
deleted file mode 100644
index 4abdc18..0000000
--- a/libjava/testsuite/libjava.verify/verify.exp
+++ /dev/null
@@ -1,83 +0,0 @@
-# Tests for class verifier.
-
-global gcj_verify_xfail
-set {gcj_verify_xfail(gij verify of call.fail.Static)} 1
-set {gcj_verify_xfail(gij verify of simple.fail.dupfield)} 1
-set {gcj_verify_xfail(gij verify of simple.fail.dupinterface)} 1
-set {gcj_verify_xfail(gij verify of simple.fail.dupmethod)} 1
-set {gcj_verify_xfail(gij verify of subr.fail.jsr10)} 1
-set {gcj_verify_xfail(gij verify of subr.fail.jsr8)} 1
-
-
-proc gcj_verify_list_tests {srcdir} {
- set result {}
- if {[file exists $srcdir]} {
- set here [pwd]
- cd $srcdir
- foreach item [lsort [glob -nocomplain */*/*.class]] {
- lappend result [file rootname $item]
- }
- cd $here
- }
- return $result
-}
-
-proc gcj_verify_test_gij {gij srcdir test shouldfail} {
- global gcj_verify_xfail
-
- set testname "gij verify of $test"
- verbose "invoking gij $test - shouldfail=$shouldfail"
- set result [libjava_load $gij [list --cp $srcdir $test] ""]
- set status [lindex $result 0]
- set output [lindex $result 1]
-
- if {$shouldfail} {
- # We match the few exceptions that are allowed. This may need
- # updating from time to time. We do this rather than check the
- # exit status because we want to catch the case where gij dies in
- # some inappropriate way.
- if {[string match *VerifyError* $output]
- || [string match *AbstractMethodError* $output]
- || [string match *IncompatibleClassChangeError* $output]} {
- set cmd pass
- } else {
- set cmd fail
- }
- if {[info exists gcj_verify_xfail($testname)]} {
- setup_xfail *-*-*
- }
- } else {
- if {$status == "pass"} {
- set cmd pass
- } else {
- set cmd fail
- }
- }
- $cmd $testname
-}
-
-proc gcj_verify_run {} {
- global INTERPRETER srcdir
-
- set gij [libjava_find_gij]
- set interpret 1
- # libjava_find_gij will return "" if it couldn't find the
- # program; in this case we want to skip the test.
- if {$INTERPRETER != "yes" || $gij == ""} {
- set interpret 0
- }
-
- set testsdir $srcdir/libjava.verify/verify
- foreach test [gcj_verify_list_tests $testsdir] {
- set shouldfail [string match */fail/* $test]
-
- if {$interpret} {
- regsub -all -- / $test . gijname
- gcj_verify_test_gij $gij $testsdir $gijname $shouldfail
- }
-
- # FIXME: run gcj --syntax-only here.
- }
-}
-
-gcj_verify_run