blob: 826936de7733b8b7eb6525f4f2d04d16e608d9f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
package main
// Regression test for oracle crash
// https://code.google.com/p/go/issues/detail?id=6605
//
// Using reflection, methods may be called on types that are not the
// operand of any ssa.MakeInterface instruction. In this example,
// (Y).F is called by deriving the type Y from *Y. Prior to the fix,
// no RTTI (or method set) for type Y was included in the program, so
// the F() call would crash.
import "reflect"
var a int
type X struct{}
func (X) F() *int {
return &a
}
type I interface {
F() *int
}
func main() {
type Y struct{ X }
print(reflect.Indirect(reflect.ValueOf(new(Y))).Interface().(I).F()) // @pointsto main.a
}
|
