modernc.org/gc@v1.0.1-0.20240304020402-f0dba7c97c2b/testdata/errchk/test/reorder.go (about) 1 // run 2 3 // Copyright 2011 The Go Authors. All rights reserved. 4 // Use of this source code is governed by a BSD-style 5 // license that can be found in the LICENSE file. 6 7 // Test reordering of assignments. 8 9 package main 10 11 import "fmt" 12 13 func main() { 14 p1() 15 p2() 16 p3() 17 p4() 18 p5() 19 p6() 20 p7() 21 p8() 22 p9() 23 } 24 25 var gx []int 26 27 func f(i int) int { 28 return gx[i] 29 } 30 31 func check(x []int, x0, x1, x2 int) { 32 if x[0] != x0 || x[1] != x1 || x[2] != x2 { 33 fmt.Printf("%v, want %d,%d,%d\n", x, x0, x1, x2) 34 panic("failed") 35 } 36 } 37 38 func check3(x, y, z, xx, yy, zz int) { 39 if x != xx || y != yy || z != zz { 40 fmt.Printf("%d,%d,%d, want %d,%d,%d\n", x, y, z, xx, yy, zz) 41 panic("failed") 42 } 43 } 44 45 func p1() { 46 x := []int{1, 2, 3} 47 i := 0 48 i, x[i] = 1, 100 49 _ = i 50 check(x, 100, 2, 3) 51 } 52 53 func p2() { 54 x := []int{1, 2, 3} 55 i := 0 56 x[i], i = 100, 1 57 _ = i 58 check(x, 100, 2, 3) 59 } 60 61 func p3() { 62 x := []int{1, 2, 3} 63 y := x 64 gx = x 65 x[1], y[0] = f(0), f(1) 66 check(x, 2, 1, 3) 67 } 68 69 func p4() { 70 x := []int{1, 2, 3} 71 y := x 72 gx = x 73 x[1], y[0] = gx[0], gx[1] 74 check(x, 2, 1, 3) 75 } 76 77 func p5() { 78 x := []int{1, 2, 3} 79 y := x 80 p := &x[0] 81 q := &x[1] 82 *p, *q = x[1], y[0] 83 check(x, 2, 1, 3) 84 } 85 86 func p6() { 87 x := 1 88 y := 2 89 z := 3 90 px := &x 91 py := &y 92 *px, *py = y, x 93 check3(x, y, z, 2, 1, 3) 94 } 95 96 func f1(x, y, z int) (xx, yy, zz int) { 97 return x, y, z 98 } 99 100 func f2() (x, y, z int) { 101 return f1(2, 1, 3) 102 } 103 104 func p7() { 105 x, y, z := f2() 106 check3(x, y, z, 2, 1, 3) 107 } 108 109 func p8() { 110 m := make(map[int]int) 111 m[0] = len(m) 112 if m[0] != 0 { 113 panic(m[0]) 114 } 115 } 116 117 // Issue #13433: Left-to-right assignment of OAS2XXX nodes. 118 func p9() { 119 var x bool 120 121 // OAS2FUNC 122 x, x = fn() 123 checkOAS2XXX(x, "x, x = fn()") 124 125 // OAS2RECV 126 var c = make(chan bool, 10) 127 c <- false 128 x, x = <-c 129 checkOAS2XXX(x, "x, x <-c") 130 131 // OAS2MAPR 132 var m = map[int]bool{0: false} 133 x, x = m[0] 134 checkOAS2XXX(x, "x, x = m[0]") 135 136 // OAS2DOTTYPE 137 var i interface{} = false 138 x, x = i.(bool) 139 checkOAS2XXX(x, "x, x = i.(bool)") 140 } 141 142 //go:noinline 143 func fn() (bool, bool) { return false, true } 144 145 // checks the order of OAS2XXX. 146 func checkOAS2XXX(x bool, s string) { 147 if !x { 148 fmt.Printf("%s; got=(false); want=(true)\n", s) 149 panic("failed") 150 } 151 }