Bug 283700

Summary: Unnecessary branch could be marked
Product: [Eclipse Project] JDT Reporter: Benjamin Muskalla <b.muskalla>
Component: CoreAssignee: JDT-Core-Inbox <jdt-core-inbox>
Status: NEW --- QA Contact:
Severity: enhancement    
Priority: P3 CC: markus.kell.r
Version: 3.5   
Target Milestone: ---   
Hardware: All   
OS: All   
Whiteboard:

Description Benjamin Muskalla CLA 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.