vromero@2027: /* /nodynamiccopyright/ */
vromero@2027: 
vromero@2027: public class TestCaseIfElse {
vromero@2027: 
vromero@2027:     @AliveRange(varName="o", bytecodeStart=9, bytecodeLength=8)
vromero@2027:     @AliveRange(varName="o", bytecodeStart=20, bytecodeLength=9)
vromero@2027:     void m0(String[] args) {
vromero@2027:         Object o;
vromero@2027:         if (args[0] != null) {
vromero@2027:             o = "then";
vromero@2027:             o.hashCode();
vromero@2027:         } else {
vromero@2027:             o = "else";
vromero@2027:             o.hashCode();
vromero@2027:         }
vromero@2027:         o = "finish";
vromero@2027:     }
vromero@2027: 
vromero@2027:     @AliveRange(varName="o", bytecodeStart=10, bytecodeLength=8)
vromero@2027:     @AliveRange(varName="o", bytecodeStart=21, bytecodeLength=9)
vromero@2027:     void m1() {
vromero@2027:         Object o;
vromero@2027:         int i = 5;
vromero@2027:         if (i == 5) {
vromero@2027:             o = "then";
vromero@2027:             o.hashCode();
vromero@2027:         } else {
vromero@2027:             o = "else";
vromero@2027:             o.hashCode();
vromero@2027:         }
vromero@2027:         o = "finish";
vromero@2027:     }
vromero@2027: 
vromero@2027:     @AliveRange(varName="o", bytecodeStart=10, bytecodeLength=8)
vromero@2027:     @AliveRange(varName="o", bytecodeStart=21, bytecodeLength=9)
vromero@2027:     void m2(String[] args) {
vromero@2027:         Object o;
vromero@2027:         int i = 5;
vromero@2027:         if (i != 5) {
vromero@2027:             o = "then";
vromero@2027:             o.hashCode();
vromero@2027:         } else {
vromero@2027:             o = "else";
vromero@2027:             o.hashCode();
vromero@2027:         }
vromero@2027:         o = "finish";
vromero@2027:     }
vromero@2027: }