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@2406:     void m2() {
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@2406: 
vromero@2406:     @AliveRange(varName="o", bytecodeStart=11, bytecodeLength=3)
vromero@2406:     @AliveRange(varName="o", bytecodeStart=17, bytecodeLength=2)
vromero@2406:     Object m3(boolean cond1, boolean cond2) {
vromero@2406:         Object o;
vromero@2406:         if (cond1) {
vromero@2406:             if (cond2) {
vromero@2406:                 o = "then";
vromero@2406:             } else {
vromero@2406:                 o = "else";
vromero@2406:                 return null;
vromero@2406:             }
vromero@2406:         }
vromero@2406:         return null;
vromero@2406:     }
vromero@2027: }