| Tests of reduction of calls to multi-statement bodies. | |
| a1: reduced to a block with a parameter binding decl. | |
| (Parameter x can't be substituted by z without a shadowing conflict.) | |
| a2: reduced with parameter substitution (no shadowing). | |
| a3: literalized, because of the return statement. | |
| -- go.mod -- | |
| module testdata | |
| go 1.12 | |
| -- a/a1.go -- | |
| package a | |
| func _() { | |
| z := 1 | |
| f(z, 2) //@ inline(re"f", out1) | |
| } | |
| func f(x, y int) { | |
| z := 1 | |
| print(x + y + z) | |
| } | |
| -- out1 -- | |
| package a | |
| func _() { | |
| z := 1 | |
| { | |
| var x int = z | |
| z := 1 | |
| print(x + 2 + z) | |
| } //@ inline(re"f", out1) | |
| } | |
| func f(x, y int) { | |
| z := 1 | |
| print(x + y + z) | |
| } | |
| -- a/a2.go -- | |
| package a | |
| func _() { | |
| a := 1 | |
| f(a, 2) //@ inline(re"f", out2) | |
| } | |
| -- out2 -- | |
| package a | |
| func _() { | |
| a := 1 | |
| z := 1 | |
| print(a + 2 + z) //@ inline(re"f", out2) | |
| } | |
| -- a/a3.go -- | |
| package a | |
| func _() { | |
| a := 1 | |
| g(a, 2) //@ inline(re"g", out3) | |
| } | |
| func g(x, y int) int { | |
| z := 1 | |
| return x + y + z | |
| } | |
| -- out3 -- | |
| package a | |
| func _() { | |
| a := 1 | |
| func() int { z := 1; return a + 2 + z }() //@ inline(re"g", out3) | |
| } | |
| func g(x, y int) int { | |
| z := 1 | |
| return x + y + z | |
| } |