// null analysis -- try/catch,

// combines https://bugs.eclipse.org/bugs/show_bug.cgi?id=320170 -  [compiler] [null] Whitebox issues in null analysis

// and      https://bugs.eclipse.org/bugs/show_bug.cgi?id=325755 -  [compiler] wrong initialization state after conditional expression

public void test0536_try_catch() {

	this.runNegativeTest(

		new String[] {

			"X.java",

			"public class X {\n" +

			" X() { throw new RuntimeException(); }\n" +

			" X bar () { return null; }\n" +

			" void foo(boolean b) {\n" +

			"   X x = new X();\n" +

			"   try {\n" +

			"     x = null;\n" +

			"     x = new X();\n" +  // if this throws an exception catch finds x==null

			"     x = bar();\n" +

			"   } catch (Throwable t) {\n" +

			"     X y;" +

			"     if (b)\n" +

			"       y= new X();\n" +

			"     else\n" +

			"       y = x;\n" +

			"     if (y!=null)\n" +  		// don't complain as redundant

			"       System.out.print(\"nonnull\");\n" +

			"     System.out.print(x.toString());\n" + // complain: x can be null

			"   }\n" +

			" }\n" +

			"}\n"},

		"----------\n" + 

		"1. ERROR in X.java (at line 17)\n" + 

		"	System.out.print(x.toString());\n" + 

		"	                 ^\n" + 

		"Potential null pointer access: The variable x may be null at this location\n" + 

		"----------\n",

	    JavacTestOptions.Excuse.EclipseWarningConfiguredAsError);

}