The following program compiles with "x10c", "x10c+", "x10c+ -O" but not with "x10c -O".The optimization introduce a bug in the generated Java code: some variables are unbound.