Bug ID: JDK-8225670 compiler/types/correctness/* tests fail with "assert(recv == __null || recv->is

JDK-8225670 : compiler/types/correctness/* tests fail with "assert(recv == __null || recv->is_klass()) failed: wrong type"

Type: Bug
Component: hotspot
Sub-Component: compiler
Affected Version: 11,12,13,14

Priority: P3
Status: Closed
Resolution: Fixed
OS: linux
CPU: x86_64

Submitted: 2019-06-12
Updated: 2021-05-15
Resolved: 2019-08-12

Versions (Unresolved/Resolved/Fixed)

The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.

JDK 14
14 b10Fixed

Related Reports

Cloners :	JDK-8230019 - [REDO] compiler/types/correctness/* tests fail with "assert(recv == __null \|\| recv->is_klass()) failed: wrong type"
Duplicate :	JDK-8226293 - compiler/types/correctness/CorrectnessTest.java failed with assert(recv == 0LL \|\| recv->is_klass()) failed: wrong type
Relates :	JDK-8066173 - compiler/types/correctness/OffTest.java failed with assert
Relates :	JDK-8225620 - assert(false) failed: DEBUG MESSAGE: MemberName required for invokeVirtual etc
Relates :	JDK-8229446 - UnsafeGetConstantField.java fails with RuntimeException: assertEquals: expected -1 to equal 0
Relates :	JDK-8230036 - ciReceiverTypeData::translate_receiver_data_from overkilled some type profile data

Sub Tasks

JDK-8226313 :

problem list compiler/types/correctness tests - Resolved

Description

The following test failure was spotted in the JDK13 CI:

compiler/types/correctness/OffTest.java

Here's a snippet of the log file:

 A fatal error has been detected by the Java Runtime Environment:
#
#  Internal Error (open/src/hotspot/share/ci/ciMethodData.hpp:206), pid=3594, tid=3618
#  assert(recv == __null || recv->is_klass()) failed: wrong type
#
# JRE version: Java(TM) SE Runtime Environment (13.0) (fastdebug build 13-ea+0-1311)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (fastdebug 13-ea+0-1311, mixed mode, sharing, compressed oops, g1 gc, linux-amd64)
# Problematic frame:
# V  [libjvm.so+0x8a6bf9]  ciMethod::call_profile_at_bci(int)+0x8a9

This failure was spotted in Tier2 so this bug is starting out at P3.

The test was recently taken off the problem list via:

    JDK-8066173 compiler/types/correctness/OffTest.java failed with assert

and that bug talks about failures on Solaris being pursued
via a different bug ID. This failure is on Linux.

Comments

The fix introduced a large performance regression with several benchmarks (JDK-8229990).
22-08-2019
URL: https://hg.openjdk.java.net/jdk/jdk/rev/155b084cf384 User: thartmann Date: 2019-08-12 06:49:10 +0000
12-08-2019
http://cr.openjdk.java.net/~thartmann/8225670/webrev.00/
08-08-2019
Same failure triggers with compiler/types/correctness/CorrectnessTest.java (see JDK-8226293).
18-06-2019
I guess we(I) unproblem listed these tests prematurely. should they start to fail regurally, I'm going to put them back into problem list on all platforms.
12-06-2019