gcj front end bug

[Tom Tromey]

The appended program compiles with gcj, but it shouldn't.
I'm guessing this is a bug in the definite assignment code.

I found this because the gij verifier rejects the bytecode we generate
in this case; it actually is invalid.

Tom

public class t
{
  public static String foo (int z)
  {
    String ibo;
    switch (z)
      {
      case 1:
	ibo = "least";
	break;
      case 2:
	ibo = "most";
      }
    return ibo;
  }

  public static void main (String[] args)
  {
    System.out.println (foo (args.length));
  }
}