PurityAnalysis accepts methods returning mutable references as pure

Issue #104 resolved
errt
created an issue

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)

  1. Log in to comment