Method build

src/main/java/pascal/taie/ir/IRBuildHelper.java:143–150

Builds an IR with given Stmts. This method sets the indexes of given Stmts, so client code does not need to set the indexes. @param stmts statements of the IR being built.

(List<Stmt> stmts)

     * @param stmts statements of the IR being built.
     */
    public IR build(List<Stmt> stmts) {
        int i = 0;
        for (Stmt stmt : stmts) {
            stmt.setIndex(i++);
        }
        return new DefaultIR(method, thisVar, params, returnVars,
                vars, stmts, List.of());
    }

    private Var newVar(String name, Type type) {
        Var var = new Var(method, name, type, varCounter++);