Failed

org.eclipse.jdt.core.tests.compiler.regression.NullReferenceTest.testBug345305_10 - 1.8 (from org.eclipse.jdt.core.tests.compiler.regression.TestAll)

Error Message

testBug345305_10 - Eclipse found error(s) but Javac did not find any.
----------- Expected ------------

------------ but was ------------
----------\n
1. ERROR in X.java (at line 15)\n
 s.length();\n
 ^\n
Potential null pointer access: The variable s may be null at this location\n
----------\n

--------- Difference is ----------
 expected:<[]> but was:<[----------\n
1. ERROR in X.java (at line 15)\n
 s.length();\n
 ^\n
Potential null pointer access: The variable s may be null at this location\n
----------\n
]>

Stacktrace

junit.framework.ComparisonFailure: testBug345305_10 - Eclipse found error(s) but Javac did not find any.
----------- Expected ------------

------------ but was ------------
----------\n
1. ERROR in X.java (at line 15)\n
	s.length();\n
	^\n
Potential null pointer access: The variable s may be null at this location\n
----------\n

--------- Difference is ----------
 expected:<[]> but was:<[----------\n
1. ERROR in X.java (at line 15)\n
	s.length();\n
	^\n
Potential null pointer access: The variable s may be null at this location\n
----------\n
]>
	at org.eclipse.jdt.core.tests.junit.extension.TestCase.assertStringEquals(TestCase.java:260)
	at org.eclipse.jdt.core.tests.junit.extension.TestCase.assertEquals(TestCase.java:236)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest.runJavac(AbstractRegressionTest.java:2044)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest.runTest(AbstractRegressionTest.java:2814)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest.runTest(AbstractRegressionTest.java:2539)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest.runNegativeTest(AbstractRegressionTest.java:2113)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest.runNegativeTest(AbstractRegressionTest.java:2102)
	at org.eclipse.jdt.core.tests.compiler.regression.NullReferenceTest.testBug345305_10(NullReferenceTest.java:16808)

Standard Output

org.eclipse.jdt.core.tests.compiler.regression.NullReferenceTest#testBug345305_10 - 1.8
X.java [
public class X {
    void foo(int j) {
        while (true) {
            String s = null;
            try {
                int i=0;
                block: {
                    if (i++ == j)
                         break block;
                    s = "";
                    return;
                }
            }
            finally {
                s.length();
                s = null;
            }
        }
    }
}

]


Full results sent to /tmp/comptest/run.1514610271420/1.8.0_131_20171230_000432.txt

Standard Error

----------------------------------------