All pull requests

Pull requests

• splitAssignments looks through value-preserving casts

  #8462·mernst opened Oct 30, 2026Member·

  ·
  4

• Do not assume a case guard's else-store when the case does not match

  #8460·mernst opened Oct 30, 2026Member·

  ·
  3

• splitAssignments omits sides whose value an assignment might change

  #8459·mernst opened Oct 30, 2026Member·

  ·
  3

• Model the null test before the close() call of a try-with-resources statement

  #8458·mernst opened Oct 29, 2026Member·

  ·
  1

  

• Rename getNoArgumentMethod to resolveNoArgumentCall

  #8457·mernst opened Oct 29, 2026Member·

  ·
  1

  

• Rename "converted" CFG lookup maps to "implicitly converted"

  #8456·mernst opened Oct 29, 2026Member·

  ·
  1

  

• Determine a wildcard's type parameter from its enclosing type, not from javac's mutable record

  #8452·mernst opened Oct 28, 2026Member·

  ·
  5

• Refine an instanceof's binding variable by its declared type too

  #8451·mernst opened Oct 28, 2026Member·

  ·
  5

• Use the cast-safety test for both forms of instanceof

  #8450·mernst opened Oct 28, 2026Member·

  ·
  3

• Unboxing a never-null value does not throw NullPointerException

  #8449·mernst opened Oct 28, 2026Member·

  ·
  5

• Canonicalize set-inclusion qualifiers by sorting their values

  #8448·mernst opened Oct 27, 2026Member·

  ·
  4

• Decide whether a receiver may be null in one place

  #8445·mernst opened Oct 27, 2026Member·

  ·
  3

• Give the binding variables of a deconstruction pattern the types of the record components

  #8443·mernst opened Oct 27, 2026Member·

  ·
  9

• Sort the values in a set-inclusion lub or glb

  #8440·mernst opened Oct 27, 2026Member·

  ·
  5

• Refine the expression of an annotated binding pattern, as in e instanceof @A T v

  #8436·mernst opened Oct 27, 2026Member·

  ·
  5

• Do not refine the binding variables of a deconstruction pattern to the type of the tested expression

  #8435·mernst opened Oct 27, 2026Member·

  ·
  3

  

• ToIndexFileConverter: read an annotation's @Target from its definition in the input JAIF

  #8428·mernst opened Oct 24, 2026Member·

  ·

• Add the Path Shape Checker, a Nullness Checker subchecker

  #8427·mernst opened Oct 24, 2026Member·

  ·
  8

• AliasingTransfer.visitAssignment: widen the left-hand side when the right-hand side is not fresh

  #8416·mernst opened Oct 23, 2026Member·

  ·
  5

• visitInstanceOf: put refinements in the then-store of the result

  #8415·mernst opened Oct 23, 2026Member·

  ·
  1

• Treat an explicit call to booleanValue() like an implicit unboxing

  #8404·mernst opened Oct 23, 2026Member·

  ·
  6

• Do not treat an operand's conditional stores as those of an enclosing expression

  #8403·mernst opened Oct 23, 2026Member·

  ·
  6

• Keep conditional facts across a synthetic unboxing call

  #8400·mernst opened Oct 22, 2026Member·

  ·
  7

• Unbox Boolean operands of && and ||

  #8399·mernst opened Oct 22, 2026Member·

  ·
  5

• Refine a switch selector to non-null when the switch has no case null

  #8398·mernst opened Oct 22, 2026Member·

  ·
  7