There are conditions under which the optimizer should be allowed to look through membars when trying to eliminate loads. In particular the initialization of final fields in the constructor is followed by a MemBarRelease which inhibits the normal load elimination you'd expect to occur.