Vicente Romero Zaldivar

8324809: compiler can crash with SOE while proving if two recursive types are disjoint

4

javac is crashing with SOE while compiling code like: ``` class Criteria

8332297: annotation processor that generates records sometimes fails due to NPE in javac

4

This bug is a bit particular regarding how to reproduce it. Having: ``` import java.lang.annotation.*; public @interface RecordBuilder {} interface Conf { int maxConcurrency( ); } ``` and: ``` import...

8340125: [lw5] null checks are not being generated for method invocations and array writes

4

javac is not generating null checks for runtime execution for method invocations and array writes --------- ### Progress - [x] Change must not contain extraneous whitespace ### Issue * [JDK-8340125](https://bugs.openjdk.org/browse/JDK-8340125):...

8342090: Infer::IncorporationBinaryOp::equals can produce side-effects

12

Type inference uses a cache to store incorporation operations already done. This way we can avoid redoing operations that once done won't produce any change. This can reduce the compilation...