【程序分析】南京大学软件分析Lab2（常量传播）易错样例补充

class MyCase {

    private int m;

    void WithParameter(int x) {
        int a = x;
        if (a < 0) {
            a = 0;
        }
    }

    void CantHoldInt() {
        double a = 3.14;
        a += 1;
    }

    void LvalNonVar() {
        int a = 3;
        this.m = a;
    }

    void OtherExpression() {
        int a = 3;
        int b = -a;
    }

    void DivisionByZero(int nac) {
        int a = nac / 0;
        int b = a % 0;
        int c = 3 / 0;
    }
}

-------------------- <MyCase: void <init>()> (constprop) --------------------
[0@L1] invokespecial %this.<java.lang.Object: void <init>()>(); {}
[1@L1] return; {}

-------------------- <MyCase: void WithParameter(int)> (constprop) --------------------
[0@L6] a = x; {a=NAC, x=NAC}
[1@L7] %intconst0 = 0; {%intconst0=0, a=NAC, x=NAC}
[2@L7] if (a < %intconst0) goto 4; {%intconst0=0, a=NAC, x=NAC}
[3@L7] goto 6; {%intconst0=0, a=NAC, x=NAC}
[4@L7] nop; {%intconst0=0, a=NAC, x=NAC}
[5@L8] a = 0; {%intconst0=0, a=0, x=NAC}
[6@L8] nop; {%intconst0=0, a=NAC, x=NAC}
[7@L8] return; {%intconst0=0, a=NAC, x=NAC}

-------------------- <MyCase: void CantHoldInt()> (constprop) --------------------
[0@L13] a = 3.14; {}
[1@L14] %doubleconst0 = 1.0; {}
[2@L14] a = a + %doubleconst0; {}
[3@L14] return; {}

-------------------- <MyCase: void LvalNonVar()> (constprop) --------------------
[0@L18] a = 3; {a=3}
[1@L19] %this.<MyCase: int m> = a; {a=3}
[2@L19] return; {a=3}

-------------------- <MyCase: void OtherExpression()> (constprop) --------------------
[0@L23] a = 3; {a=3}
[1@L24] b = -a; {a=3, b=NAC}
[2@L24] return; {a=3, b=NAC}

-------------------- <MyCase: void DivisionByZero(int)> (constprop) --------------------
[0@L28] %intconst0 = 0; {%intconst0=0, nac=NAC}
[1@L28] a = nac / %intconst0; {%intconst0=0, nac=NAC}
[2@L29] b = a % %intconst0; {%intconst0=0, nac=NAC}
[3@L30] %intconst1 = 3; {%intconst0=0, %intconst1=3, nac=NAC}
[4@L30] c = %intconst1 / %intconst0; {%intconst0=0, %intconst1=3, nac=NAC}
[5@L30] return; {%intconst0=0, %intconst1=3, nac=NAC}

@Test
public void testMyCase() {
    testCP("MyCase");
}

./gradlew clean test