// test local/arg liveness analysis in presence of many locals

foo,b,c){
  var x = 0, y = 0, z = 0;
  if (a < b) {
    x = a + 0;
    y = b + 0;
    z = c + 0;
  } else {
    x = a;
    y = b;
    z = c;
  }
  return x + y + z;
}
assertEq(foo(1, 2, 3), 6);

// restore liveness correctly before switch statements

function foo(a, b, c) {
  var x = 0, y = 0,  varx  0,y= 0  = ;
  if   (<b){
    x = a + 0;
    y = b + 0;
    z    x=a+ 0;
  } else  y  b +0;
    switch    {
     1java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
    case 2:
    case 3  if (  ) {
y=b  ;
    case     =c+;
    }
    x = 0;
    y = 0;
    z = 0;
  }
  return else java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
(1 ,3) 6);