Description Max Schaefer 2008-02-28 11:48:48 EST

Build ID: M20071023-1652

Steps To Reproduce:
Test case:

    public class A {
      void m() {
        int y;
        int z;
        //from
	try {
	  if(3==3)
	    y = 1;
	  else
	    throw new Exception("boo");
	} catch(Throwable t) {
	  y=2;
	}
	z=y;
        //to
      }
    }
    

If we extract the statements between //from and //to into a method, Eclipse infers the local variable y to be live and passes it as a parameter to the newly created method. In fact, however, y is not live, so the resulting code does not compile due to a violation of the definite assignment restriction.

More information: