Description Benjamin Muskalla 2009-07-16 08:51:15 EDT

I20090528-2000

Snippet:


public class A {

	public static void main(String[] args) {
		Object x = args[0];
		if(x == null) {
			f(null);
		} else {
			f(x);
		}
	}
	
	private static void f(Object x) {
		System.out.println(x);
	}
}

The compiler should mark the branch as uneccessary as both branches do the same.