Description Pascal Pollet 2010-08-06 07:43:24 EDT

Build Identifier: 20090920-1017

in this minimal example, the statement "if (zipFile == null)" produces the error message: "Null comparison always yields false: The variable zipFile cannot be null at this location". But zipFile can be null at this location!

This happens when the compiler warning "redundant null check" is enabled in the eclipse preferences.

simpleTest.java:

import java.io.File;

public class SimpleTest
{

    public static void main(String[] args) throws Exception
    {
        new SimpleTest();
    }

    public SimpleTest() throws Exception
    {
        File zipFile = null;

        double answer = Math.random();

        if (answer > 0.5)
        {
            zipFile = new Test().getFile();
        }
        else
        {
	    return;
	}

        if (zipFile == null)
        {
            return;
        }
    }
}

Test.java:

import java.io.File;


public class Test
{

    public File getFile()
    {
        File paketFile = new File("bla");

        if (paketFile.exists())
        {
            return paketFile;
        }

        return null;
    }
}


Reproducible: Always

Steps to Reproduce:
1. Paste my minimal example into eclipse :)
2.
3.