Description Benno Baumgartner 2007-12-05 10:35:09 EST

I20071204-1547

Given:
package test;
import java.util.ArrayList;
public class Test1 {
	public void foo() {
		ArrayList list= new ArrayList();
		while (bar()) {
			if (list != null && bar()) {
				list.add(null);
			}
		}
		if (list.isEmpty()) {
			
		}
	}

	private boolean bar() {
		return false;
	}
}

1. Enable 'Potential null pointer access' warning
2. Enable 'Redundant null check' warning
Is:
  A potential null pointer access warning at 'list.isEmpty()': The variable list may be null'
Should:
 Redundant null check warning at 'list != null' check