Description till toenges 2010-12-16 05:14:24 EST

Build Identifier: 20100917-0705

I get a "Null comparison always yields false: The variable s cannot be null at this location" in the following code. That should not be the case here. The difference between the good and the bad test case is only one if.

public class NullTest {

	public static void main(String[] args) {
		good(args);
		bad(args);
	}
	public static void good(String[] args) {
		String s = "";
		for (int i = 0; i < 13; i++) {
			s = test(args, i);
			if (s == null) {
				System.out.println("null");
			}
		}
	}
	public static void bad(String[] args) {
		String s = "";
		for (int i = 0; i < 13; i++) {
			if (i != 0) {
				s = test(args, i);
			}
			if (s == null) {
				System.out.println("null");
			}
		}
	}
	public static String test(String[] args, int i) {
		if (args.length > i) {
			return args[i];
		}
		return null;
	}
}


Reproducible: Always

Steps to Reproduce:
1. Put the code into Eclipse.
2. Have all the code warnings on.
3. See bogus warning about unneccessary null check.