On Tue, 4 Oct 2022 15:53:04 GMT, Alan Bateman <al...@openjdk.org> wrote:
>> This is true, but if a broken subclass sets markpos to less than -1 then >> lots of code lines will work incorrectly -- including `transferTo` which was >> the starting point of your change proposal. So do you really only want undo >> the change *here*, or is it better drop this PR and even use `< 0` in >> `transferTo`, as I originally proposed? > >> This is true, but if a broken subclass sets markpos to less than -1 then >> lots of code lines will work incorrectly -- including `transferTo` which was >> the starting point of your change proposal. So do you really only want undo >> the change _here_, or is it better drop this PR and even use `< 0` in >> `transferTo`, as I originally proposed? > > This looks to be the only that would corrupt the current position (pos). > > @bplb plans to look at this too, another set of eyes would be good on this > point. > This PR originates from @AlanBateman who asked me to change my use of `== 1` > to `< 0`. Per his opinion, using `< 0` is allegedly wrong, as it violates the > spec of `markpos`. As it either it is wrong _everywhere_ or _nowhere_, he > agreed that this should be fixed. So guys, please discuss with each other > what way you finally want it to be like. Thanks. I am aware of the context and agree that `-1 <= markpos <= pos` should be `true`, but am simply pointing out that it does not really fix an observable problem and no change is without risk. ------------- PR: https://git.openjdk.org/jdk/pull/10528