[abc] Jastadd compile bugs

Attached are some jastadd bugs found when compiling using Jigsaw.
Perhaps they will help in deciding whether we should switch. All
examples compile fine in both javac and abc. I'm still just halfway
through jastadd's error dump, so I might add some more bugs later today.

Neil

class CharByteTest {
        public static void main(String args[]) {
                byte a = 100;
                System.out.println("Hello world");
                //Jastadd does not properly recognize the cast, and insists
                //that the type of the expression is still a char
                a = (byte) (a - 'a');
        }
}

import java.io.*;

class FinallyTest {
        //Jastadd gives a false error report if more than one exception
        //is specifified in the signature. Removing InterruptedException
        //allows Jastadd to compile properly
        public static void a() throws IOException, InterruptedException {
                throw new IOException("FinallyTest.a");
        }

        public static void main(String args[]) throws Exception{
                try {
                        a();
                } finally {
                        try {
                                a();
                        } catch (IOException e) {}
                }
        }
}

class ClassTest {
        static {
                //Jastadd doesn't lookup names properly in static blocks
                Class c = ClassTest.class;
        }
        public static void main(String args[]) {
        }
}

class ClassTest2 {
        //Jastadd also has lookup problems for static variables
        static Class cn = ClassTest2.class;
        public static void main(String args[]) {
        }
}
Received on Thu Jan 12 13:24:01 2006