Review

finding-3

/mubench/checkouts/bcel/24014e5/build/src/main/java/org/apache/commons/bcel6/verifier/structurals/ExecutionVisitor.java

visitDUP2_X2(DUP2_X2)

class ExecutionVisitor {
    /** Symbolically executes the corresponding Java Virtual Machine instruction. */ 
    @Override
    public void visitDUP2_X2(DUP2_X2 o){
        Type t = stack().pop();
        if (t.getSize() == 2){
            Type u = stack().pop();
            if (u.getSize() == 2){
                stack().push(t);
                stack().push(u);
                stack().push(t);
            }else{
                Type v = stack().pop();
                stack().push(t);
                stack().push(v);
                stack().push(u);
                stack().push(t);
            }
        }
        else{ //t.getSize() is 1
            Type u = stack().pop();
            Type v = stack().pop();
            if (v.getSize() == 2){
                stack().push(u);
                stack().push(t);
                stack().push(v);
                stack().push(u);
                stack().push(t);
            }else{
                Type w = stack().pop();
                stack().push(u);
                stack().push(t);
                stack().push(w);
                stack().push(v);
                stack().push(u);
                stack().push(t);
            }
        }
    }

}