modernc.org/gc@v1.0.1-0.20240304020402-f0dba7c97c2b/testdata/errchk/test/reorder2.go (about) 1 // run 2 3 // Copyright 2010 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 reorderings; derived from fixedbugs/bug294.go. 8 9 package main 10 11 var log string 12 13 type TT int 14 15 func (t TT) a(s string) TT { 16 log += "a(" + s + ")" 17 return t 18 } 19 20 func (TT) b(s string) string { 21 log += "b(" + s + ")" 22 return s 23 } 24 25 type F func(s string) F 26 27 func a(s string) F { 28 log += "a(" + s + ")" 29 return F(a) 30 } 31 32 func b(s string) string { 33 log += "b(" + s + ")" 34 return s 35 } 36 37 type I interface { 38 a(s string) I 39 b(s string) string 40 } 41 42 type T1 int 43 44 func (t T1) a(s string) I { 45 log += "a(" + s + ")" 46 return t 47 } 48 49 func (T1) b(s string) string { 50 log += "b(" + s + ")" 51 return s 52 } 53 54 // f(g(), h()) where g is not inlinable but h is will have the same problem. 55 // As will x := g() + h() (same conditions). 56 // And g() <- h(). 57 func f(x, y string) { 58 log += "f(" + x + ", " + y + ")" 59 } 60 61 //go:noinline 62 func ff(x, y string) { 63 log += "ff(" + x + ", " + y + ")" 64 } 65 66 func h(x string) string { 67 log += "h(" + x + ")" 68 return x 69 } 70 71 //go:noinline 72 func g(x string) string { 73 log += "g(" + x + ")" 74 return x 75 } 76 77 func main() { 78 err := 0 79 var t TT 80 if a("1")("2")("3"); log != "a(1)a(2)a(3)" { 81 println("expecting a(1)a(2)a(3) , got ", log) 82 err++ 83 } 84 log = "" 85 86 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" { 87 println("expecting a(1)b(2)a(2), got ", log) 88 err++ 89 } 90 log = "" 91 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" { 92 println("expecting a(3)b(4)a(4)b(5)a(5), got ", log) 93 err++ 94 } 95 log = "" 96 var i I = T1(0) 97 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" { 98 println("expecting a(6)ba(7)ba(8)ba(9), got", log) 99 err++ 100 } 101 log = "" 102 103 if s := t.a("1").b("3"); log != "a(1)b(3)" || s != "3" { 104 println("expecting a(1)b(3) and 3, got ", log, " and ", s) 105 err++ 106 } 107 log = "" 108 109 if s := t.a("1").a(t.b("2")).b("3") + t.a("4").b("5"); log != "a(1)b(2)a(2)b(3)a(4)b(5)" || s != "35" { 110 println("expecting a(1)b(2)a(2)b(3)a(4)b(5) and 35, got ", log, " and ", s) 111 err++ 112 } 113 log = "" 114 115 if s := t.a("4").b("5") + t.a("1").a(t.b("2")).b("3"); log != "a(4)b(5)a(1)b(2)a(2)b(3)" || s != "53" { 116 println("expecting a(4)b(5)a(1)b(2)a(2)b(3) and 35, got ", log, " and ", s) 117 err++ 118 } 119 log = "" 120 121 if ff(g("1"), g("2")); log != "g(1)g(2)ff(1, 2)" { 122 println("expecting g(1)g(2)ff..., got ", log) 123 err++ 124 } 125 log = "" 126 127 if ff(g("1"), h("2")); log != "g(1)h(2)ff(1, 2)" { 128 println("expecting g(1)h(2)ff..., got ", log) 129 err++ 130 } 131 log = "" 132 133 if ff(h("1"), g("2")); log != "h(1)g(2)ff(1, 2)" { 134 println("expecting h(1)g(2)ff..., got ", log) 135 err++ 136 } 137 log = "" 138 139 if ff(h("1"), h("2")); log != "h(1)h(2)ff(1, 2)" { 140 println("expecting h(1)h(2)ff..., got ", log) 141 err++ 142 } 143 log = "" 144 145 if s := g("1") + g("2"); log != "g(1)g(2)" || s != "12" { 146 println("expecting g1g2 and 12, got ", log, " and ", s) 147 err++ 148 } 149 log = "" 150 151 if s := g("1") + h("2"); log != "g(1)h(2)" || s != "12" { 152 println("expecting g1h2 and 12, got ", log, " and ", s) 153 err++ 154 } 155 log = "" 156 157 if s := h("1") + g("2"); log != "h(1)g(2)" || s != "12" { 158 println("expecting h1g2 and 12, got ", log, " and ", s) 159 err++ 160 } 161 log = "" 162 163 if s := h("1") + h("2"); log != "h(1)h(2)" || s != "12" { 164 println("expecting h1h2 and 12, got ", log, " and ", s) 165 err++ 166 } 167 log = "" 168 169 x := 0 170 switch x { 171 case 0: 172 if a("1")("2")("3"); log != "a(1)a(2)a(3)" { 173 println("in switch, expecting a(1)a(2)a(3) , got ", log) 174 err++ 175 } 176 log = "" 177 178 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" { 179 println("in switch, expecting a(1)b(2)a(2), got ", log) 180 err++ 181 } 182 log = "" 183 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" { 184 println("in switch, expecting a(3)b(4)a(4)b(5)a(5), got ", log) 185 err++ 186 } 187 log = "" 188 var i I = T1(0) 189 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" { 190 println("in switch, expecting a(6)ba(7)ba(8)ba(9), got", log) 191 err++ 192 } 193 log = "" 194 } 195 196 c := make(chan int, 1) 197 c <- 1 198 select { 199 case c <- 0: 200 case c <- 1: 201 case <-c: 202 if a("1")("2")("3"); log != "a(1)a(2)a(3)" { 203 println("in select1, expecting a(1)a(2)a(3) , got ", log) 204 err++ 205 } 206 log = "" 207 208 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" { 209 println("in select1, expecting a(1)b(2)a(2), got ", log) 210 err++ 211 } 212 log = "" 213 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" { 214 println("in select1, expecting a(3)b(4)a(4)b(5)a(5), got ", log) 215 err++ 216 } 217 log = "" 218 var i I = T1(0) 219 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" { 220 println("in select1, expecting a(6)ba(7)ba(8)ba(9), got", log) 221 err++ 222 } 223 log = "" 224 } 225 226 c <- 1 227 select { 228 case <-c: 229 if a("1")("2")("3"); log != "a(1)a(2)a(3)" { 230 println("in select2, expecting a(1)a(2)a(3) , got ", log) 231 err++ 232 } 233 log = "" 234 235 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" { 236 println("in select2, expecting a(1)b(2)a(2), got ", log) 237 err++ 238 } 239 log = "" 240 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" { 241 println("in select2, expecting a(3)b(4)a(4)b(5)a(5), got ", log) 242 err++ 243 } 244 log = "" 245 var i I = T1(0) 246 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" { 247 println("in select2, expecting a(6)ba(7)ba(8)ba(9), got", log) 248 err++ 249 } 250 log = "" 251 } 252 253 c <- 1 254 select { 255 default: 256 case c <- 1: 257 case <-c: 258 if a("1")("2")("3"); log != "a(1)a(2)a(3)" { 259 println("in select3, expecting a(1)a(2)a(3) , got ", log) 260 err++ 261 } 262 log = "" 263 264 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" { 265 println("in select3, expecting a(1)b(2)a(2), got ", log) 266 err++ 267 } 268 log = "" 269 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" { 270 println("in select3, expecting a(3)b(4)a(4)b(5)a(5), got ", log) 271 err++ 272 } 273 log = "" 274 var i I = T1(0) 275 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" { 276 println("in select3, expecting a(6)ba(7)ba(8)ba(9), got", log) 277 err++ 278 } 279 log = "" 280 } 281 282 c <- 1 283 select { 284 default: 285 case <-c: 286 if a("1")("2")("3"); log != "a(1)a(2)a(3)" { 287 println("in select4, expecting a(1)a(2)a(3) , got ", log) 288 err++ 289 } 290 log = "" 291 292 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" { 293 println("in select4, expecting a(1)b(2)a(2), got ", log) 294 err++ 295 } 296 log = "" 297 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" { 298 println("in select4, expecting a(3)b(4)a(4)b(5)a(5), got ", log) 299 err++ 300 } 301 log = "" 302 var i I = T1(0) 303 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" { 304 println("in select4, expecting a(6)ba(7)ba(8)ba(9), got", log) 305 err++ 306 } 307 log = "" 308 } 309 310 select { 311 case <-c: 312 case <-c: 313 default: 314 if a("1")("2")("3"); log != "a(1)a(2)a(3)" { 315 println("in select5, expecting a(1)a(2)a(3) , got ", log) 316 err++ 317 } 318 log = "" 319 320 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" { 321 println("in select5, expecting a(1)b(2)a(2), got ", log) 322 err++ 323 } 324 log = "" 325 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" { 326 println("in select5, expecting a(3)b(4)a(4)b(5)a(5), got ", log) 327 err++ 328 } 329 log = "" 330 var i I = T1(0) 331 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" { 332 println("in select5, expecting a(6)ba(7)ba(8)ba(9), got", log) 333 err++ 334 } 335 log = "" 336 } 337 338 if err > 0 { 339 panic("fail") 340 } 341 }