Method buildEmpty

src/main/java/pascal/taie/ir/IRBuildHelper.java:133–135

Builds an emtpy IR which contains only a Return statement.

()

     * Builds an emtpy IR which contains only a {@link Return} statement.
     */
    public IR buildEmpty() {
        return build(List.of(newReturn()));
    }

    /**
     * Builds an IR with given {@link Stmt}s. This method sets the indexes