[GROOVY-495] 'if(condition) return' causes VerifyError

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.0-beta-5
• Fix Version/s: 1.0-beta-6
• Environment: java version "1.4.2_04"; Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.2_04-b05); Java HotSpot(TM) Client VM (build 1.4.2_04-b05, mixed mode)
• Assignee: Sam Pullara
• Reporter: Konstantin Nikolaev
• Created: 23/May/04 12:39
• Updated: 23/May/04 15:12
• Resolved: 23/May/04 15:12

Description

Running the following script causes
Exception in thread "main" java.lang.VerifyError: (class: test_return, method: tt signature: ()V) Illegal target of jump or branch

class test_return {
static void main(args)

{ tt() }

static void tt()

{ if (true) return }

}

It works without 'if' though.
Changing 'tt' in the following manner:

static void tt()

{ if (true) return print("test") }

Gives different exception:
Exception in thread "main" java.lang.VerifyError: (class: test_return, method: tt signature: ()V) Falling off the end of the code