summaryrefslogtreecommitdiffstats
path: root/test/fixedbugs/bug148.go
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-16 19:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-16 19:19:13 +0000
commitccd992355df7192993c666236047820244914598 (patch)
treef00fea65147227b7743083c6148396f74cd66935 /test/fixedbugs/bug148.go
parentInitial commit. (diff)
downloadgolang-1.21-ccd992355df7192993c666236047820244914598.tar.xz
golang-1.21-ccd992355df7192993c666236047820244914598.zip
Adding upstream version 1.21.8.upstream/1.21.8
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'test/fixedbugs/bug148.go')
-rw-r--r--test/fixedbugs/bug148.go54
1 files changed, 54 insertions, 0 deletions
diff --git a/test/fixedbugs/bug148.go b/test/fixedbugs/bug148.go
new file mode 100644
index 0000000..b67870b
--- /dev/null
+++ b/test/fixedbugs/bug148.go
@@ -0,0 +1,54 @@
+// run
+
+// 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
+
+type T struct {a, b int};
+
+func println(x, y int) { }
+
+func f(x interface{}) interface{} {
+ type T struct {a, b int};
+
+ if x == nil {
+ return T{2, 3};
+ }
+
+ t := x.(T);
+ println(t.a, t.b);
+ return x;
+}
+
+func main() {
+ inner_T := f(nil);
+ f(inner_T);
+
+ shouldPanic(p1)
+}
+
+func p1() {
+ outer_T := T{5, 7};
+ f(outer_T);
+}
+
+func shouldPanic(f func()) {
+ defer func() {
+ if recover() == nil {
+ panic("function should panic")
+ }
+ }()
+ f()
+}
+
+/*
+This prints:
+
+2 3
+5 7
+
+but it should crash: The type assertion on line 18 should fail
+for the 2nd call to f with outer_T.
+*/