From d5ba668eddd4be60ffdc0ad2ab32da6b5051a44f Mon Sep 17 00:00:00 2001 From: Ian Lance Taylor Date: Thu, 6 Nov 2008 22:27:32 -0800 Subject: [PATCH] Test case for evaluation order of select statement. R=r DELTA=47 (47 added, 0 deleted, 0 changed) OCL=18581 CL=18748 --- test/chan/select.go | 51 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 test/chan/select.go diff --git a/test/chan/select.go b/test/chan/select.go new file mode 100644 index 0000000000..470e151818 --- /dev/null +++ b/test/chan/select.go @@ -0,0 +1,51 @@ +// $G $D/$F.go && $L $F.$A && ./$A.out + +// Copyright 2009 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 + +var counter uint +var shift uint + +func GetValue() uint { + counter++; + return 1 << shift +} + +func Send(a, b *chan uint) int { + var i int; + LOOP: + for { + select { + case a <- GetValue(): + i++; + a = nil; + case b <- GetValue(): + i++; + b = nil; + default: + break LOOP; + } + shift++; + } + return i; +} + +func main() { + a := new(chan uint, 1); + b := new(chan uint, 1); + if v := Send(a, b); v != 2 { + panicln("Send returned", v, "!= 2"); + } + if av, bv := <- a, <- b; av | bv != 3 { + panicln("bad values", av, bv); + } + if v := Send(a, nil); v != 1 { + panicln("Send returned", v, "!= 1"); + } + if counter != 10 { + panicln("counter is", counter, "!= 10"); + } +} -- 2.50.0