P4
We used to have this check:
```
_bci = _next_bci;
_next_bci += len;
if (_next_bci <= _bci) { // Check for integer overflow
// ...
}
```
But this code only runs within a branch which has checked `_bci <= _end_bci - len`, and if this is true then _next_bci can trivially be added without overflow check. So, let's remove the check.
```
_bci = _next_bci;
_next_bci += len;
if (_next_bci <= _bci) { // Check for integer overflow
// ...
}
```
But this code only runs within a branch which has checked `_bci <= _end_bci - len`, and if this is true then _next_bci can trivially be added without overflow check. So, let's remove the check.
- links to
-
Commit(master)
openjdk/jdk/f04e556d
-
Review(master)
openjdk/jdk/24920