diff --git a/test/bugs/bug093.go b/test/bugs/bug093.go new file mode 100644 index 00000000000..f80eee01fa7 --- /dev/null +++ b/test/bugs/bug093.go @@ -0,0 +1,64 @@ +// $G $D/$F.go && $L $F.$A && ./$A.out || echo BUG: fails incorrectly + +// 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 S struct { +} + +func (p *S) M() { + print("M\n"); +} + +type I interface { + M(); +} + +func main() { + var p *S = nil; + var i I = p; // this should be possible even though p is nil: we still know the type + i.M(); // should be possible since we know the type, and don't ever use the receiver +} + + +/* +throw: ifaces2i: nil pointer +SIGSEGV: segmentation violation +Faulting address: 0x0 +pc: 0x1b7d + +0x1b7d?zi + throw(30409, 0, 0, ...) + throw(0x76c9, 0x0, 0x0, ...) +0x207f?zi + sys·ifaces2i(31440, 0, 31480, ...) + sys·ifaces2i(0x7ad0, 0x7af8, 0x0, ...) +0x136f?zi + main·main(1, 0, 1606416424, ...) + main·main(0x1, 0x7fff5fbff828, 0x0, ...) + +rax 0x1 +rbx 0x1 +rcx 0x33b5 +rdx 0x0 +rdi 0x1 +rsi 0x7684 +rbp 0x7684 +rsp 0xafb8 +r8 0x0 +r9 0x0 +r10 0x1002 +r11 0x206 +r12 0x0 +r13 0x0 +r14 0x7c48 +r15 0xa000 +rip 0x1b7d +rflags 0x10202 +cs 0x27 +fs 0x10 +gs 0x48 +*/ diff --git a/test/golden.out b/test/golden.out index 3d12933ddc6..db1a9f37cec 100644 --- a/test/golden.out +++ b/test/golden.out @@ -78,7 +78,6 @@ BUG: compilation should succeed bugs/bug074.go:6: syntax error bugs/bug074.go:7: x: undefined BUG: compiler crashes - Bus error -Bus error $G $D/$F.go =========== bugs/bug075.go bugs/bug075.go:11: bad shape across assignment - cr=1 cl=2 @@ -103,7 +102,6 @@ BUG: succeeds incorrectly =========== bugs/bug085.go bugs/bug085.go:8: P: undefined BUG: fails incorrectly -Bus error $G $D/$F.go =========== bugs/bug086.go 4882 @@ -125,6 +123,24 @@ BUG: fails incorrectly =========== bugs/bug090.go BUG: compilation succeeds incorrectly +=========== bugs/bug093.go +throw: ifaces2i: nil pointer +SIGSEGV: segmentation violation +Faulting address: 0x0 +pc: 0x1b7d + +0x1b7d?zi + throw(30409, 0, 0, ...) + throw(0x76c9, 0x0, 0x0, ...) +0x207f?zi + sys·ifaces2i(31440, 0, 31480, ...) + sys·ifaces2i(0x7ad0, 0x7af8, 0x0, ...) +0x136f?zi + main·main(1, 0, 1606416392, ...) + main·main(0x1, 0x7fff5fbff808, 0x0, ...) + +BUG: fails incorrectly + =========== fixedbugs/bug015.go fixedbugs/bug015.go:7: overflow converting constant to INT64