Description Olivier Thomann 2002-11-27 10:08:10 EST

Using 1119, we don't generate the qualifier of a static message call. This is a
bug if this qualifier can send an exception.
public class A {
	static A a = null;
	A a1 = null;
	
	public static void foo(int i) {
			System.out.print(i);
	}
	public static void main(String[] args) {
		try {
			a.a1.foo(0);
		} catch (NullPointerException e) {
			System.out.print("OK");
		}
	}
}

Compiling this code, we return:
0
instead of:
OK

because a.a1 should have thrown an NPE. Changing foo to a non static method
fixes it.
The JLS
http://java.sun.com/docs/books/jls/second_edition/html/expressions.doc.html#38359
states that if the invocation mode is static, then there is no target reference.
The expression Primary is evaluated, but the result is then discarded.
javac and jikes are compiling this code and get the right result.