Method holdsPrimitive

src/main/java/pascal/taie/ir/exp/Exps.java:39–41

@return true if exp can hold primitive values.

(Exp exp)

     * @return {@code true} if {@code exp} can hold primitive values.
     */
    public static boolean holdsPrimitive(Exp exp) {
        return exp.getType() instanceof PrimitiveType;
    }

    /**
     * @return {@code true} if {@code exp} can hold int values.