--- /dev/null
+// +build ignore
+
+package main
+
+// Test of arrays & slices with reflection.
+
+import "reflect"
+
+var a, b int
+
+type S string
+
+func reflectValueSlice() {
+ // reflect.Value contains a slice.
+ slice := make([]*int, 10) // @line slice
+ slice[0] = &a
+ rvsl := reflect.ValueOf(slice).Slice(0, 0)
+ print(rvsl.Interface()) // @types []*int
+ print(rvsl.Interface().([]*int)) // @pointsto makeslice@slice:15
+ print(rvsl.Interface().([]*int)[42]) // @pointsto main.a
+
+ // reflect.Value contains an array (non-addressable).
+ array := [10]*int{&a} // @line array
+ rvarray := reflect.ValueOf(array).Slice(0, 0)
+ print(rvarray.Interface()) // @types
+ print(rvarray.Interface().([]*int)) // @pointsto
+ print(rvarray.Interface().([]*int)[42]) // @pointsto
+
+ // reflect.Value contains a pointer-to-array
+ rvparray := reflect.ValueOf(&array).Slice(0, 0)
+ print(rvparray.Interface()) // @types []*int
+ print(rvparray.Interface().([]*int)) // @pointsto array@array:2
+ print(rvparray.Interface().([]*int)[42]) // @pointsto main.a
+
+ // reflect.Value contains a string.
+ rvstring := reflect.ValueOf("hi").Slice(0, 0)
+ print(rvstring.Interface()) // @types string
+
+ // reflect.Value contains a (named) string type.
+ rvS := reflect.ValueOf(S("hi")).Slice(0, 0)
+ print(rvS.Interface()) // @types S
+
+ // reflect.Value contains a non-array pointer.
+ rvptr := reflect.ValueOf(new(int)).Slice(0, 0)
+ print(rvptr.Interface()) // @types
+
+ // reflect.Value contains a non-string basic type.
+ rvint := reflect.ValueOf(3).Slice(0, 0)
+ print(rvint.Interface()) // @types
+}
+
+func reflectValueBytes() {
+ sl1 := make([]byte, 0) // @line ar5sl1
+ sl2 := make([]byte, 0) // @line ar5sl2
+
+ rvsl1 := reflect.ValueOf(sl1)
+ print(rvsl1.Interface()) // @types []byte
+ print(rvsl1.Interface().([]byte)) // @pointsto makeslice@ar5sl1:13
+ print(rvsl1.Bytes()) // @pointsto makeslice@ar5sl1:13
+
+ rvsl2 := reflect.ValueOf(123)
+ rvsl2.SetBytes(sl2)
+ print(rvsl2.Interface()) // @types int
+ print(rvsl2.Interface().([]byte)) // @pointsto
+ print(rvsl2.Bytes()) // @pointsto
+
+ rvsl3 := reflect.ValueOf([]byte(nil))
+ rvsl3.SetBytes(sl2)
+ print(rvsl3.Interface()) // @types []byte
+ print(rvsl3.Interface().([]byte)) // @pointsto makeslice@ar5sl2:13
+ print(rvsl3.Bytes()) // @pointsto makeslice@ar5sl2:13
+}
+
+func reflectValueIndex() {
+ slice := []*int{&a} // @line ar6slice
+ rv1 := reflect.ValueOf(slice)
+ print(rv1.Index(42).Interface()) // @types *int
+ print(rv1.Index(42).Interface().(*int)) // @pointsto main.a
+
+ array := [10]*int{&a}
+ rv2 := reflect.ValueOf(array)
+ print(rv2.Index(42).Interface()) // @types *int
+ print(rv2.Index(42).Interface().(*int)) // @pointsto main.a
+
+ rv3 := reflect.ValueOf("string")
+ print(rv3.Index(42).Interface()) // @types rune
+
+ rv4 := reflect.ValueOf(&array)
+ print(rv4.Index(42).Interface()) // @types
+
+ rv5 := reflect.ValueOf(3)
+ print(rv5.Index(42).Interface()) // @types
+}
+
+func reflectValueElem() {
+ // Interface.
+ var iface interface{} = &a
+ rv1 := reflect.ValueOf(&iface).Elem()
+ print(rv1.Interface()) // @types *int
+ print(rv1.Interface().(*int)) // @pointsto main.a
+ print(rv1.Elem().Interface()) // @types *int
+ print(rv1.Elem().Interface().(*int)) // @pointsto main.a
+
+ print(reflect.ValueOf(new(interface{})).Elem().Elem()) // @types
+
+ // Pointer.
+ ptr := &a
+ rv2 := reflect.ValueOf(&ptr)
+ print(rv2.Elem().Interface()) // @types *int
+ print(rv2.Elem().Interface().(*int)) // @pointsto main.a
+
+ // No other type works with (rV).Elem, not even those that
+ // work with (rT).Elem: slice, array, map, chan.
+
+ rv3 := reflect.ValueOf([]*int{&a})
+ print(rv3.Elem().Interface()) // @types
+
+ rv4 := reflect.ValueOf([10]*int{&a})
+ print(rv4.Elem().Interface()) // @types
+
+ rv5 := reflect.ValueOf(map[*int]*int{&a: &b})
+ print(rv5.Elem().Interface()) // @types
+
+ ch := make(chan *int)
+ ch <- &a
+ rv6 := reflect.ValueOf(ch)
+ print(rv6.Elem().Interface()) // @types
+
+ rv7 := reflect.ValueOf(3)
+ print(rv7.Elem().Interface()) // @types
+}
+
+func reflectTypeElem() {
+ rt1 := reflect.TypeOf(make([]*int, 0))
+ print(reflect.Zero(rt1.Elem())) // @types *int
+
+ rt2 := reflect.TypeOf([10]*int{})
+ print(reflect.Zero(rt2.Elem())) // @types *int
+
+ rt3 := reflect.TypeOf(map[*int]*int{})
+ print(reflect.Zero(rt3.Elem())) // @types *int
+
+ rt4 := reflect.TypeOf(make(chan *int))
+ print(reflect.Zero(rt4.Elem())) // @types *int
+
+ ptr := &a
+ rt5 := reflect.TypeOf(&ptr)
+ print(reflect.Zero(rt5.Elem())) // @types *int
+
+ rt6 := reflect.TypeOf(3)
+ print(reflect.Zero(rt6.Elem())) // @types
+}
+
+func reflectPtrTo() {
+ tInt := reflect.TypeOf(3)
+ tPtrInt := reflect.PtrTo(tInt)
+ print(reflect.Zero(tPtrInt)) // @types *int
+ tPtrPtrInt := reflect.PtrTo(tPtrInt)
+ print(reflect.Zero(tPtrPtrInt)) // @types **int
+}
+
+func reflectSliceOf() {
+ tInt := reflect.TypeOf(3)
+ tSliceInt := reflect.SliceOf(tInt)
+ print(reflect.Zero(tSliceInt)) // @types []int
+}
+
+type T struct{ x int }
+
+func reflectMakeSlice() {
+ rt := []reflect.Type{
+ reflect.TypeOf(3),
+ reflect.TypeOf([]int{}),
+ reflect.TypeOf([]T{}),
+ }[0]
+ sl := reflect.MakeSlice(rt, 0, 0)
+ print(sl) // @types []int | []T
+ print(sl) // @pointsto <alloc in reflect.MakeSlice> | <alloc in reflect.MakeSlice>
+ print(&sl.Interface().([]T)[0].x) // @pointsto <alloc in reflect.MakeSlice>[*].x
+}
+
+func main() {
+ reflectValueSlice()
+ reflectValueBytes()
+ reflectValueIndex()
+ reflectValueElem()
+ reflectTypeElem()
+ reflectPtrTo()
+ reflectSliceOf()
+ reflectMakeSlice()
+}