cmd/gc: handle variable initialization by block move in liveness

Any initialization of a variable by a block copy or block zeroing
or by multiple assignments (componentwise copying or zeroing
of a multiword variable) needs to emit a VARDEF. These cases were not.

Fixes issue 7205.

TBR=iant
CC=golang-codereviews
https://codereview.appspot.com/63650044

1 files changed, 18 insertions, 0 deletions

diff --git a/test/live.go b/test/live.go
index c3dbc55c0..ec2df7e5f 100644
--- a/test/live.go
+++ b/test/live.go
@@ -95,3 +95,21 @@ func f7() (x string) {
 	return
 }
 
+// ignoring block returns used to cause "live at entry to f8: x, y".
+
+func f8() (x, y string) {
+	return g8()
+}
+
+func g8() (string, string)
+
+// ignoring block assignments used to cause "live at entry to f9: x"
+// issue 7205
+
+var i9 interface{}
+
+func f9() bool {
+	g8()
+	x := i9
+	return x != 99
+}