mirror of
https://github.com/golang/go
synced 2024-11-22 15:44:53 -07:00
f6509cf5cd
The input index to a jump table can be out of range for unreachable code. Dynamically the compiler ensures that an out-of-range index can never reach a jump table, but that guarantee doesn't extend to the static realm. Fixes #64826 Change-Id: I5829f3933ae5124ffad8337dfd7dd75e67a8ec33 Reviewed-on: https://go-review.googlesource.com/c/go/+/552055 Reviewed-by: Keith Randall <khr@google.com> LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com> Reviewed-by: David Chase <drchase@google.com>
39 lines
494 B
Go
39 lines
494 B
Go
// build
|
|
|
|
// Copyright 2023 The Go Authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style
|
|
// license that can be found in the LICENSE file.
|
|
|
|
package main
|
|
|
|
func main() {
|
|
f(g(false))
|
|
}
|
|
func g(b bool) string {
|
|
if b {
|
|
return "z"
|
|
}
|
|
return "q"
|
|
}
|
|
func f(x string) int {
|
|
switch len(x) {
|
|
case 4:
|
|
return 4
|
|
case 5:
|
|
return 5
|
|
case 6:
|
|
return 6
|
|
case 7:
|
|
return 7
|
|
case 8:
|
|
return 8
|
|
case 9:
|
|
return 9
|
|
case 10:
|
|
return 10
|
|
case 11:
|
|
return 11
|
|
}
|
|
return 0
|
|
}
|