Checker Framework crashes on a reflective call

[jyoo980]

Summary

The Checker Framework has crashed on an Maven compilation on this project and branch.

I am able to reproduce this behaviour for the Nullness Checker and the Optional Checker, and this occurs on the latest version (3.40.0) of the Checker Framework.

Steps to Reproduce

Please run the following sequence of commands on your shell.

# Clone the repository and cd into it
git clone git@github.com:jyoo980/Chronicle-Core.git
cd Chronicle-Core

# Check out the branch with the pom.xml changes required to execute the Checker Framework
git checkout yoo/checkerframework-crash
mvn -X compile

Output

The entire log is much too large to view inline (but is attached), but the relevant stack trace is:

[ERROR]   ; The Checker Framework crashed.  Please report the crash.  Version: Checker Framework 3.40.0.
[ERROR]   Compilation unit: /Users/yoo/workspace/Chronicle-Core/src/main/java/net/openhft/chronicle/core/internal/ClassUtil.java
[ERROR]   Last visited tree at line 71 column 97:
[ERROR]                   boolean newFlag = (boolean) setAccessible0_Method.invokeExact(accessibleObject, true);
[ERROR]   Exception: java.lang.Throwable; java.lang.Throwable
[ERROR]   	at org.checkerframework.javacutil.BugInCF.<init>(BugInCF.java:22)
[ERROR]   	at org.checkerframework.framework.type.visitor.AtmComboVisitor.defaultAction(AtmComboVisitor.java:58)
[ERROR]   	at org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor.visitPrimitive_Array(AbstractAtmComboVisitor.java:387)
[ERROR]   	at org.checkerframework.framework.util.AtmCombo.accept(AtmCombo.java:504)
[ERROR]   	at org.checkerframework.framework.type.DefaultTypeHierarchy.isSubtype(DefaultTypeHierarchy.java:258)
[ERROR]   	at org.checkerframework.framework.type.DefaultTypeHierarchy.isSubtype(DefaultTypeHierarchy.java:136)
[ERROR]   	at org.checkerframework.common.basetype.Ba
seTypeVisitor.commonAssignmentCheck(BaseTypeVisitor.java:3055)
[ERROR]   	at org.checkerframework.checker.nullness.NullnessVisitor.commonAssignmentCheck(NullnessVisitor.java:250)
[ERROR]   	at org.checkerframework.common.basetype.BaseTypeVisitor.checkVarargs(BaseTypeVisitor.java:1938)
[ERROR]   	at org.checkerframework.common.basetype.BaseTypeVisitor.visitMethodInvocation(BaseTypeVisitor.java:1805)
[ERROR]   	at org.checkerframework.checker.nullness.NullnessVisitor.visitMethodInvocation(NullnessVisitor.java:554)
[ERROR]   	at org.checkerframework.checker.nullness.NullnessVisitor.visitMethodInvocation(NullnessVisitor.java:70)
...

Error log: error.log

Expectation

I would not expect the Checker Framework to crash.