PurityAnalysis accepts methods returning mutable references as pure

PurityAnalysis will accept methods as shown below as pure, even though the reference returned (that is of mutable type) may not be structurally equivalent for different invocations of the method. The method shown is SideEffectFree instead.

class Mutable {
    public int field;
}

private static final Mutable ref = new Mutable();

public static Mutable getRef(){
    return ref;
}

Comments (2)