Loading...

XML

Word

Printable

Type: Bug
Resolution: Fixed
Priority: P4
Fix Version/s: 21
Affects Version/s: 8, 11, 17, 20
Component/s: hotspot
Labels:

Subcomponent:
compiler
Resolved In Build:
b11

Issue	Fix Version	Assignee	Priority	Status	Resolution	Resolved In Build
JDK-8307032	20u-cpu	Tobias Hartmann	P4	Resolved	Fixed	master
JDK-8305553	20.0.2	Tobias Hartmann	P4	Resolved	Fixed	b03
JDK-8305128	17.0.8-oracle	Tobias Hartmann	P4	Resolved	Fixed	b01
JDK-8306994	17.0.8	Goetz Lindenmaier	P4	Resolved	Fixed	b01

While working on JDK-8290789, I noticed the following assert:
    assert(stride_con > 0 && ((limit_type->_hi - stride_con) < limit_type->_hi) ||
           stride_con < 0 && ((limit_type->_lo - stride_con) > limit_type->_lo),
           "sanity");

doesn't fire because of UB

backported by

JDK-8305128 C2: assert in PhaseIdealLoop::do_unroll() is subject to undefined behavior

Resolved

JDK-8305553 C2: assert in PhaseIdealLoop::do_unroll() is subject to undefined behavior

Resolved

JDK-8306994 C2: assert in PhaseIdealLoop::do_unroll() is subject to undefined behavior

Resolved

JDK-8307032 C2: assert in PhaseIdealLoop::do_unroll() is subject to undefined behavior

Resolved

links to

Commit openjdk/jdk17u-dev/241c066a

Commit openjdk/jdk20u/db88ed0e

Commit openjdk/jdk/cd77fcfb

Review openjdk/jdk17u-dev/1300

Review openjdk/jdk20u/41

Review openjdk/jdk/12576

(5 links to)

Assignee:: Tobias Holenstein (Inactive)

Reporter:: Roland Westrelin

Votes:: 0 Vote for this issue

Watchers:: 5 Start watching this issue

Created:: 2022-07-21 07:32

Updated:: 2023-04-27 07:04

Resolved:: 2023-02-17 06:29

Details

Backports

Description

Attachments

Issue Links

Activity

People

Dates