Commits

Breadcrumbs

History for

on29fdd04

User selector

All users

All time

Commit History

Commits on Nov 30, 2023

• Include switch and instanceof binding in Variable.getAnAssignedValue, and test via endsInQuote

  smowton

  committed
  29fdd04

  Copy full SHA for 29fdd04

• Cast back to Object in advance of returning, to ensure the test doesn't mask a shortcoming of type pruning by pruning at the return site

  smowton

  committed
  47e3d7d

  Copy full SHA for 47e3d7d

• Expose that case guard test controls its case body

  smowton

  committed
  f0144d6

  Copy full SHA for f0144d6

• Note that binding variables may be casting nodes

  smowton

  committed
  da62a04

  Copy full SHA for da62a04

• Note we can't prove certain unreachable callables when 'case null' is present

  smowton

  committed
  c11a260

  Copy full SHA for c11a260

• Allow case null, default to be the first switch case

  Show description for 6b3080a
  smowton

  committed
  6b3080a

  Copy full SHA for 6b3080a

• Fix switchCaseControls and hasBranchEdge to account for mixed patterns and constant cases

  smowton

  committed
  668f445

  Copy full SHA for 668f445

• Restrict pattern type guards to account for nested record matching failures

  smowton

  committed
  6583c72

  Copy full SHA for 6583c72

• First stab at implementing negative type-test logic for pattern-case

  smowton

  committed
  0bb051e

  Copy full SHA for 0bb051e

• Remove needless test options

  smowton

  committed
  d7a517a

  Copy full SHA for d7a517a

• Fix hasNullCase

  smowton

  committed
  de2b98f

  Copy full SHA for de2b98f

• autoformat

  smowton

  committed
  480781b

  Copy full SHA for 480781b

• Add test for ObjFlow over binding patterns

  smowton

  committed
  011eb22

  Copy full SHA for 011eb22

• Add test for virtual-dispatch flow through binding patterns

  smowton

  committed
  4cf511e

  Copy full SHA for 4cf511e

• Add test for typeflow propagation through instanceof and pattern-case

  smowton

  committed
  43c9350

  Copy full SHA for 43c9350

• Update test expectation

  smowton

  committed
  e5fdf4d

  Copy full SHA for e5fdf4d

• autoformat ql

  smowton

  committed
  330a5b8

  Copy full SHA for 330a5b8

• Add test for record-pattern instanceof

  smowton

  committed
  32416f0

  Copy full SHA for 32416f0

• Add missing test Java files

  smowton

  committed
  e41da3b

  Copy full SHA for e41da3b

• Implement dataflow for record patterns

  Show description for 20b97af
  smowton

  committed
  20b97af

  Copy full SHA for 20b97af

• Adapt control-flow graph to record patterns

  smowton

  committed
  05addde

  Copy full SHA for 05addde

• Basic extraction of record patterns

  smowton

  committed
  daccd04

  Copy full SHA for daccd04

• Add test for usage of qualified enum constants in switch

  smowton

  committed
  3cb0100

  Copy full SHA for 3cb0100

• Add test for a pattern-switch guard acting as a data-flow guard

  smowton

  committed
  8406ee7

  Copy full SHA for 8406ee7

• Implement switch CFG when there are mixed constant and pattern cases

  smowton

  committed
  144218e

  Copy full SHA for 144218e

• Handle 'case null, default:'

  smowton

  committed
  54a89d6

  Copy full SHA for 54a89d6

• CFG: Support guarded patterns

  smowton

  committed
  2b16121

  Copy full SHA for 2b16121

• Add basic support for case guards

  smowton

  committed
  ba0f3cf

  Copy full SHA for ba0f3cf

• Check nullness pass knows pattern case variables can't be null

  smowton

  committed
  e94c5a7

  Copy full SHA for e94c5a7

• Fixup typeflow test

  smowton

  committed
  ca43b96

  Copy full SHA for ca43b96

• Nullness library: recognise switches with null checks

  smowton

  committed
  6b9aed2

  Copy full SHA for 6b9aed2

• Add AST test for switch with null case

  smowton

  committed
  79b77ae

  Copy full SHA for 79b77ae

• Update printast expectation

  smowton

  committed
  05caffc

  Copy full SHA for 05caffc

• Type-flow: treat pattern-switch on an array index similar to instanceof

  smowton

  committed
  b21aaa7

  Copy full SHA for b21aaa7

• Pattern cases: support type-flow

  smowton

  committed
  7dd4030

  Copy full SHA for 7dd4030