Method holdsReference

src/main/java/pascal/taie/ir/exp/Exps.java:70–73

@return true if exp can hold reference values.

(Exp exp)

     * @return {@code true} if {@code exp} can hold reference values.
     */
    public static boolean holdsReference(Exp exp) {
        // TODO: exclude null type?
        return exp.getType() instanceof ReferenceType;
    }
}