bug fix for &x[0] when x is slice

R=ken
OCL=25044
CL=25044

1 files changed, 7 insertions, 4 deletions

diff --git a/src/cmd/gc/walk.c b/src/cmd/gc/walk.c
index 1d2063348..f3a3bd6e5 100644
--- a/src/cmd/gc/walk.c
+++ b/src/cmd/gc/walk.c
@@ -3745,10 +3745,13 @@ addrescapes(Node *n)
 
 	case ODOT:
 	case OINDEX:
-		// ODOTPTR has already been
-		// introduced, so these are the non-pointer
-		// ODOT and OINDEX.
-		addrescapes(n->left);
+		// ODOTPTR has already been introduced,
+		// so these are the non-pointer ODOT and OINDEX.
+		// In &x[0], if x is a slice, then x does not
+		// escape--the pointer inside x does, but that
+		// is always a heap pointer anyway.
+		if(!isslice(n->left->type))
+			addrescapes(n->left);
 		break;
 	}
 }