Giant blob of minor changes
[dotfiles/.git] / .config / coc / extensions / coc-go-data / tools / pkg / mod / golang.org / x / tools@v0.0.0-20201105173854-bc9fc8d8c4bc / go / ssa / interp / testdata / complit.go
diff --git a/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201105173854-bc9fc8d8c4bc/go/ssa/interp/testdata/complit.go b/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201105173854-bc9fc8d8c4bc/go/ssa/interp/testdata/complit.go
new file mode 100644 (file)
index 0000000..f06cba0
--- /dev/null
@@ -0,0 +1,186 @@
+package main
+
+// Tests of composite literals.
+
+import "fmt"
+
+// Map literals.
+// TODO(adonovan): we can no longer print maps
+// until the interpreter supports (reflect.Value).MapRange.
+func _() {
+       type M map[int]int
+       m1 := []*M{{1: 1}, &M{2: 2}}
+       want := "map[1:1] map[2:2]"
+       if got := fmt.Sprint(*m1[0], *m1[1]); got != want {
+               panic(got)
+       }
+       m2 := []M{{1: 1}, M{2: 2}}
+       if got := fmt.Sprint(m2[0], m2[1]); got != want {
+               panic(got)
+       }
+}
+
+// Nonliteral keys in composite literal.
+func init() {
+       const zero int = 1
+       var v = []int{1 + zero: 42}
+       if x := fmt.Sprint(v); x != "[0 0 42]" {
+               panic(x)
+       }
+}
+
+// Test for in-place initialization.
+func init() {
+       // struct
+       type S struct {
+               a, b int
+       }
+       s := S{1, 2}
+       s = S{b: 3}
+       if s.a != 0 {
+               panic("s.a != 0")
+       }
+       if s.b != 3 {
+               panic("s.b != 3")
+       }
+       s = S{}
+       if s.a != 0 {
+               panic("s.a != 0")
+       }
+       if s.b != 0 {
+               panic("s.b != 0")
+       }
+
+       // array
+       type A [4]int
+       a := A{2, 4, 6, 8}
+       a = A{1: 6, 2: 4}
+       if a[0] != 0 {
+               panic("a[0] != 0")
+       }
+       if a[1] != 6 {
+               panic("a[1] != 6")
+       }
+       if a[2] != 4 {
+               panic("a[2] != 4")
+       }
+       if a[3] != 0 {
+               panic("a[3] != 0")
+       }
+       a = A{}
+       if a[0] != 0 {
+               panic("a[0] != 0")
+       }
+       if a[1] != 0 {
+               panic("a[1] != 0")
+       }
+       if a[2] != 0 {
+               panic("a[2] != 0")
+       }
+       if a[3] != 0 {
+               panic("a[3] != 0")
+       }
+}
+
+// Regression test for https://golang.org/issue/10127:
+// composite literal clobbers destination before reading from it.
+func init() {
+       // map
+       {
+               type M map[string]int
+               m := M{"x": 1, "y": 2}
+               m = M{"x": m["y"], "y": m["x"]}
+               if m["x"] != 2 || m["y"] != 1 {
+                       panic(fmt.Sprint(m))
+               }
+
+               n := M{"x": 3}
+               m, n = M{"x": n["x"]}, M{"x": m["x"]} // parallel assignment
+               if got := fmt.Sprint(m["x"], n["x"]); got != "3 2" {
+                       panic(got)
+               }
+       }
+
+       // struct
+       {
+               type T struct{ x, y, z int }
+               t := T{x: 1, y: 2, z: 3}
+
+               t = T{x: t.y, y: t.z, z: t.x} // all fields
+               if got := fmt.Sprint(t); got != "{2 3 1}" {
+                       panic(got)
+               }
+
+               t = T{x: t.y, y: t.z + 3} // not all fields
+               if got := fmt.Sprint(t); got != "{3 4 0}" {
+                       panic(got)
+               }
+
+               u := T{x: 5, y: 6, z: 7}
+               t, u = T{x: u.x}, T{x: t.x} // parallel assignment
+               if got := fmt.Sprint(t, u); got != "{5 0 0} {3 0 0}" {
+                       panic(got)
+               }
+       }
+
+       // array
+       {
+               a := [3]int{0: 1, 1: 2, 2: 3}
+
+               a = [3]int{0: a[1], 1: a[2], 2: a[0]} //  all elements
+               if got := fmt.Sprint(a); got != "[2 3 1]" {
+                       panic(got)
+               }
+
+               a = [3]int{0: a[1], 1: a[2] + 3} //  not all elements
+               if got := fmt.Sprint(a); got != "[3 4 0]" {
+                       panic(got)
+               }
+
+               b := [3]int{0: 5, 1: 6, 2: 7}
+               a, b = [3]int{0: b[0]}, [3]int{0: a[0]} // parallel assignment
+               if got := fmt.Sprint(a, b); got != "[5 0 0] [3 0 0]" {
+                       panic(got)
+               }
+       }
+
+       // slice
+       {
+               s := []int{0: 1, 1: 2, 2: 3}
+
+               s = []int{0: s[1], 1: s[2], 2: s[0]} //  all elements
+               if got := fmt.Sprint(s); got != "[2 3 1]" {
+                       panic(got)
+               }
+
+               s = []int{0: s[1], 1: s[2] + 3} //  not all elements
+               if got := fmt.Sprint(s); got != "[3 4]" {
+                       panic(got)
+               }
+
+               t := []int{0: 5, 1: 6, 2: 7}
+               s, t = []int{0: t[0]}, []int{0: s[0]} // parallel assignment
+               if got := fmt.Sprint(s, t); got != "[5] [3]" {
+                       panic(got)
+               }
+       }
+}
+
+// Regression test for https://golang.org/issue/13341:
+// within a map literal, if a key expression is a composite literal,
+// Go 1.5 allows its type to be omitted.  An & operation may be implied.
+func init() {
+       type S struct{ x int }
+       // same as map[*S]bool{&S{x: 1}: true}
+       m := map[*S]bool{{x: 1}: true}
+       for s := range m {
+               if s.x != 1 {
+                       panic(s) // wrong key
+               }
+               return
+       }
+       panic("map is empty")
+}
+
+func main() {
+}