RFR: 8315066: Add unsigned bounds and known bits to TypeInt/Long [v53]

Thu May 1 08:02:02 UTC 2025

On Thu, 1 May 2025 07:34:22 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Quan Anh Mai has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - wording
>>  - grammar, more details for non-existence
>
> Can you do the analogue with the else (one violation) case?
> That one is probably a bit harder, but I have faith in you ;)

@eme64 Done! You are right that it would be better to link the implementation back to the theoretical proof, especially the part after obtaining the value of `i`.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/17508#issuecomment-2844328674