Commit 8a2891fc authored by Russ Cox's avatar Russ Cox

gc: select receive bug fix

Affects receive using := when new variable escapes to heap.

Fixes #1468.

R=ken2
CC=golang-dev
https://golang.org/cl/4119052
parent c5fc3b69
...@@ -157,7 +157,7 @@ walkselect(Node *sel) ...@@ -157,7 +157,7 @@ walkselect(Node *sel)
if(n->left == N || isblank(n->left)) if(n->left == N || isblank(n->left))
n->left = nodnil(); n->left = nodnil();
else if(n->left->op == ONAME && else if(n->left->op == ONAME &&
(!n->colas || (n->class&PHEAP) == 0) && (!n->colas || (n->left->class&PHEAP) == 0) &&
convertop(ch->type->type, n->left->type, nil) == OCONVNOP) { convertop(ch->type->type, n->left->type, nil) == OCONVNOP) {
n->left = nod(OADDR, n->left, N); n->left = nod(OADDR, n->left, N);
n->left->etype = 1; // pointer does not escape n->left->etype = 1; // pointer does not escape
...@@ -170,9 +170,9 @@ walkselect(Node *sel) ...@@ -170,9 +170,9 @@ walkselect(Node *sel)
typecheck(&a, Erv); typecheck(&a, Erv);
r = nod(OAS, n->left, tmp); r = nod(OAS, n->left, tmp);
typecheck(&r, Etop); typecheck(&r, Etop);
cas->nbody = concat(list1(r), cas->nbody);
cas->nbody = concat(n->ninit, cas->nbody); cas->nbody = concat(n->ninit, cas->nbody);
n->ninit = nil; n->ninit = nil;
cas->nbody = concat(list1(r), cas->nbody);
n->left = a; n->left = a;
} }
} }
......
// $G $D/$F.go && $L $F.$A && ./$A.out
// Copyright 2011 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
package main
func main() {
c := make(chan int, 1)
dummy := make(chan int)
v := 0x12345678
for i := 0; i < 10; i++ {
// 6g had a bug that caused select to pass &t to
// selectrecv before allocating the memory for t,
// which caused non-deterministic crashes.
// This test looks for the bug by checking that the
// value received actually ends up in t.
// If the allocation happens after storing through
// whatever garbage &t holds, the later reference
// to t in the case body will use the new pointer and
// not see the received value.
v += 0x1020304
c <- v
select {
case t := <-c:
go func() {
f(t)
}()
escape(&t)
if t != v {
println(i, v, t)
panic("wrong values")
}
case dummy <- 1:
}
}
}
func escape(*int) {
}
func f(int) {
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment