Method holdsInt

src/main/java/pascal/taie/ir/exp/Exps.java:49–51

@return true if exp can hold int values. Note that expressions of some primitive types other than int, whose computational type is int, can also hold int values. @see PrimitiveType#asInt()

(Exp exp)

     * @see PrimitiveType#asInt()
     */
    public static boolean holdsInt(Exp exp) {
        return exp.getType() instanceof PrimitiveType t && t.asInt();
    }

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