Bug 314394

Description Sven Asp 2010-05-26 02:24:53 EDT

Build Identifier: I20100513-1500

The details are best explained by looking at the comments in this code (attached as project with project specific settings).

function getfoo() {
	return null;
}

function check1() {
	var foo = null;
	
	// The condition in the if statement should be flagged
	// as a redundant null check. That doesn't happen
	if(foo == null) {
		
		// This is correctly flagged as a null pointer
		// access
		foo.doSomething();
	}
}

function check2() {
	var foo = getfoo();
	if(foo == null) {

		// This is NOT flagged as a null pointer
		// access although it really should be.
		foo.doSomething();
	}
}

function check3() {
	var foo = null;
	
	// The condition in the if statement should be flagged
	// as a redundant null check. That doesn't happen
	if(foo != null) {
		
		// This is incorrectly flagged as a null pointer
		// access. foo cannot be null at this location.
		// This is in fact dead code but is not flagged
		// as such.
		foo.length();
	}
}


Reproducible: Always