[GROOVY-11376] SC: put entry replaced write field for public and protected of map-based type

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.0, 5.0.0-alpha-8
• Fix Version/s: 5.0.0-alpha-9
• Component/s: Static compilation

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 14/May/24 14:50
• Updated: 14/May/24 16:32
• Resolved: 14/May/24 16:32

Description

Consider the following:

class M implements Map<String,Object> {
  @Delegate Map<String,Object> map = [:].withDefault{ 'entry' }

  public        a = 'field'
  protected     b = 'field'
  @PackageScope c = 'field'
  private       d = 'field'
  Closure       e = { 'callable' }
}

@groovy.transform.CompileStatic
void test(M map) {
  map.a = null // SC: 6549 (Groovy 4+)
  map.b = null // SC: 6549 (Groovy 4+)
  map.c = null
  map.d = null
  map.e = null

  println map // expect: [c:null, d:null]
}

test(new M())

Running this script prints "[a: null, b: null, c: null, d: null]" since Groovy 4. The prior behavior was to write to public and protected fields, which is the behavior you get if you disable static compilation.

GROOVY-6954, GROOVY-11367

Issue Links

• is related to: GROOVY-6954 map.foo = "bar" not optimized by the static compiler