aoqi@0: /* /nodynamiccopyright/ */
aoqi@0: 
aoqi@0: public class TestCaseIf {
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=9, bytecodeLength=5)
aoqi@0:     @AliveRange(varName="o", bytecodeStart=17, bytecodeLength=1)
aoqi@0:     void m0(String[] args) {
aoqi@0:         Object o;
aoqi@0:         if (args[0] != null) {
aoqi@0:             o = "";
aoqi@0:             o.hashCode();
aoqi@0:         }
aoqi@0:         o = "";
aoqi@0:     }
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=10, bytecodeLength=5)
aoqi@0:     @AliveRange(varName="o", bytecodeStart=18, bytecodeLength=1)
aoqi@0:     void m1() {
aoqi@0:         Object o;
aoqi@0:         int i = 5;
aoqi@0:         if (i == 5) {
aoqi@0:             o = "";
aoqi@0:             o.hashCode();
aoqi@0:         }
aoqi@0:         o = "";
aoqi@0:     }
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=10, bytecodeLength=5)
aoqi@0:     @AliveRange(varName="o", bytecodeStart=18, bytecodeLength=1)
aoqi@0:     void m2() {
aoqi@0:         Object o;
aoqi@0:         int i = 5;
aoqi@0:         if (!(i == 5)) {
aoqi@0:             o = "";
aoqi@0:             o.hashCode();
aoqi@0:         }
aoqi@0:         o = "";
aoqi@0:     }
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=15, bytecodeLength=5)
aoqi@0:     @AliveRange(varName="o", bytecodeStart=23, bytecodeLength=1)
aoqi@0:     void m3(String[] args) {
aoqi@0:         Object o;
aoqi@0:         if (args[0] != null && args[1] != null) {
aoqi@0:             o = "";
aoqi@0:             o.hashCode();
aoqi@0:         }
aoqi@0:         o = "";
aoqi@0:     }
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=15, bytecodeLength=5)
aoqi@0:     @AliveRange(varName="o", bytecodeStart=23, bytecodeLength=1)
aoqi@0:     void m4(String[] args) {
aoqi@0:         Object o;
aoqi@0:         if (args[0] != null || args[1] != null) {
aoqi@0:             o = "";
aoqi@0:             o.hashCode();
aoqi@0:         }
aoqi@0:         o = "";
aoqi@0:     }
vromero@2572: 
vromero@2572:     @AliveRange(varName="finalLocal", bytecodeStart=11, bytecodeLength=6)
vromero@2572:     @AliveRange(varName="used", bytecodeStart=13, bytecodeLength=4)
vromero@2572:     void m5(Object o) {
vromero@2572:         if (o != null) {
vromero@2572:             Object notUsed;
vromero@2572:             Object used;
vromero@2572:             if (o != null) {
vromero@2572:                 final Object finalLocal = null;
vromero@2572:                 used = null;
vromero@2572:                 if (o == null) {}
vromero@2572:             }
vromero@2572:         }
vromero@2572:     }
aoqi@0: }