fc4f90f0c8
This implements https://golang.org/cl/161477 in the gofrontend. Updates golang/go#30116 Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/191881 From-SVN: r274998
279 lines
7.1 KiB
Go
279 lines
7.1 KiB
Go
// Copyright 2010 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 runtime
|
|
|
|
import "unsafe"
|
|
|
|
// The Error interface identifies a run time error.
|
|
type Error interface {
|
|
error
|
|
|
|
// RuntimeError is a no-op function but
|
|
// serves to distinguish types that are run time
|
|
// errors from ordinary errors: a type is a
|
|
// run time error if it has a RuntimeError method.
|
|
RuntimeError()
|
|
}
|
|
|
|
// A TypeAssertionError explains a failed type assertion.
|
|
type TypeAssertionError struct {
|
|
_interface *_type
|
|
concrete *_type
|
|
asserted *_type
|
|
missingMethod string // one method needed by Interface, missing from Concrete
|
|
}
|
|
|
|
func (*TypeAssertionError) RuntimeError() {}
|
|
|
|
func (e *TypeAssertionError) Error() string {
|
|
inter := "interface"
|
|
if e._interface != nil {
|
|
inter = e._interface.string()
|
|
}
|
|
as := e.asserted.string()
|
|
if e.concrete == nil {
|
|
return "interface conversion: " + inter + " is nil, not " + as
|
|
}
|
|
cs := e.concrete.string()
|
|
if e.missingMethod == "" {
|
|
msg := "interface conversion: " + inter + " is " + cs + ", not " + as
|
|
if cs == as {
|
|
// provide slightly clearer error message
|
|
if e.concrete.pkgpath() != e.asserted.pkgpath() {
|
|
msg += " (types from different packages)"
|
|
} else {
|
|
msg += " (types from different scopes)"
|
|
}
|
|
}
|
|
return msg
|
|
}
|
|
return "interface conversion: " + cs + " is not " + as +
|
|
": missing method " + e.missingMethod
|
|
}
|
|
|
|
// Remove quoted strings from gccgo reflection strings.
|
|
func unquote(s string) string {
|
|
ls := len(s)
|
|
var i int
|
|
for i = 0; i < ls; i++ {
|
|
if s[i] == '\t' {
|
|
break
|
|
}
|
|
}
|
|
if i == ls {
|
|
return s
|
|
}
|
|
var q bool
|
|
r := make([]byte, len(s))
|
|
j := 0
|
|
for i = 0; i < ls; i++ {
|
|
if s[i] == '\t' {
|
|
q = !q
|
|
} else if !q {
|
|
r[j] = s[i]
|
|
j++
|
|
}
|
|
}
|
|
return string(r[:j])
|
|
}
|
|
|
|
//go:nosplit
|
|
// itoa converts val to a decimal representation. The result is
|
|
// written somewhere within buf and the location of the result is returned.
|
|
// buf must be at least 20 bytes.
|
|
func itoa(buf []byte, val uint64) []byte {
|
|
i := len(buf) - 1
|
|
for val >= 10 {
|
|
buf[i] = byte(val%10 + '0')
|
|
i--
|
|
val /= 10
|
|
}
|
|
buf[i] = byte(val + '0')
|
|
return buf[i:]
|
|
}
|
|
|
|
// An errorString represents a runtime error described by a single string.
|
|
type errorString string
|
|
|
|
func (e errorString) RuntimeError() {}
|
|
|
|
func (e errorString) Error() string {
|
|
return "runtime error: " + string(e)
|
|
}
|
|
|
|
// An errorCString represents a runtime error described by a single C string.
|
|
// Not "type errorCString uintptr" because of http://golang.org/issue/7084.
|
|
type errorCString struct{ cstr uintptr }
|
|
|
|
func (e errorCString) RuntimeError() {}
|
|
|
|
func (e errorCString) Error() string {
|
|
return "runtime error: " + gostringnocopy((*byte)(unsafe.Pointer(e.cstr)))
|
|
}
|
|
|
|
// For calling from C.
|
|
func NewErrorCString(s uintptr, ret *interface{}) {
|
|
*ret = errorCString{s}
|
|
}
|
|
|
|
// plainError represents a runtime error described a string without
|
|
// the prefix "runtime error: " after invoking errorString.Error().
|
|
// See Issue #14965.
|
|
type plainError string
|
|
|
|
func (e plainError) RuntimeError() {}
|
|
|
|
func (e plainError) Error() string {
|
|
return string(e)
|
|
}
|
|
|
|
// An boundsError represents a an indexing or slicing operation gone wrong.
|
|
type boundsError struct {
|
|
x int64
|
|
y int
|
|
// Values in an index or slice expression can be signed or unsigned.
|
|
// That means we'd need 65 bits to encode all possible indexes, from -2^63 to 2^64-1.
|
|
// Instead, we keep track of whether x should be interpreted as signed or unsigned.
|
|
// y is known to be nonnegative and to fit in an int.
|
|
signed bool
|
|
code boundsErrorCode
|
|
}
|
|
|
|
type boundsErrorCode uint8
|
|
|
|
const (
|
|
boundsIndex boundsErrorCode = iota // s[x], 0 <= x < len(s) failed
|
|
|
|
boundsSliceAlen // s[?:x], 0 <= x <= len(s) failed
|
|
boundsSliceAcap // s[?:x], 0 <= x <= cap(s) failed
|
|
boundsSliceB // s[x:y], 0 <= x <= y failed (but boundsSliceA didn't happen)
|
|
|
|
boundsSlice3Alen // s[?:?:x], 0 <= x <= len(s) failed
|
|
boundsSlice3Acap // s[?:?:x], 0 <= x <= cap(s) failed
|
|
boundsSlice3B // s[?:x:y], 0 <= x <= y failed (but boundsSlice3A didn't happen)
|
|
boundsSlice3C // s[x:y:?], 0 <= x <= y failed (but boundsSlice3A/B didn't happen)
|
|
|
|
// Note: in the above, len(s) and cap(s) are stored in y
|
|
)
|
|
|
|
// boundsErrorFmts provide error text for various out-of-bounds panics.
|
|
// Note: if you change these strings, you should adjust the size of the buffer
|
|
// in boundsError.Error below as well.
|
|
var boundsErrorFmts = [...]string{
|
|
boundsIndex: "index out of range [%x] with length %y",
|
|
boundsSliceAlen: "slice bounds out of range [:%x] with length %y",
|
|
boundsSliceAcap: "slice bounds out of range [:%x] with capacity %y",
|
|
boundsSliceB: "slice bounds out of range [%x:%y]",
|
|
boundsSlice3Alen: "slice bounds out of range [::%x] with length %y",
|
|
boundsSlice3Acap: "slice bounds out of range [::%x] with capacity %y",
|
|
boundsSlice3B: "slice bounds out of range [:%x:%y]",
|
|
boundsSlice3C: "slice bounds out of range [%x:%y:]",
|
|
}
|
|
|
|
// boundsNegErrorFmts are overriding formats if x is negative. In this case there's no need to report y.
|
|
var boundsNegErrorFmts = [...]string{
|
|
boundsIndex: "index out of range [%x]",
|
|
boundsSliceAlen: "slice bounds out of range [:%x]",
|
|
boundsSliceAcap: "slice bounds out of range [:%x]",
|
|
boundsSliceB: "slice bounds out of range [%x:]",
|
|
boundsSlice3Alen: "slice bounds out of range [::%x]",
|
|
boundsSlice3Acap: "slice bounds out of range [::%x]",
|
|
boundsSlice3B: "slice bounds out of range [:%x:]",
|
|
boundsSlice3C: "slice bounds out of range [%x::]",
|
|
}
|
|
|
|
func (e boundsError) RuntimeError() {}
|
|
|
|
func appendIntStr(b []byte, v int64, signed bool) []byte {
|
|
if signed && v < 0 {
|
|
b = append(b, '-')
|
|
v = -v
|
|
}
|
|
var buf [20]byte
|
|
b = append(b, itoa(buf[:], uint64(v))...)
|
|
return b
|
|
}
|
|
|
|
func (e boundsError) Error() string {
|
|
fmt := boundsErrorFmts[e.code]
|
|
if e.signed && e.x < 0 {
|
|
fmt = boundsNegErrorFmts[e.code]
|
|
}
|
|
// max message length is 99: "runtime error: slice bounds out of range [::%x] with capacity %y"
|
|
// x can be at most 20 characters. y can be at most 19.
|
|
b := make([]byte, 0, 100)
|
|
b = append(b, "runtime error: "...)
|
|
for i := 0; i < len(fmt); i++ {
|
|
c := fmt[i]
|
|
if c != '%' {
|
|
b = append(b, c)
|
|
continue
|
|
}
|
|
i++
|
|
switch fmt[i] {
|
|
case 'x':
|
|
b = appendIntStr(b, e.x, e.signed)
|
|
case 'y':
|
|
b = appendIntStr(b, int64(e.y), true)
|
|
}
|
|
}
|
|
return string(b)
|
|
}
|
|
|
|
type stringer interface {
|
|
String() string
|
|
}
|
|
|
|
func typestring(x interface{}) string {
|
|
e := efaceOf(&x)
|
|
return e._type.string()
|
|
}
|
|
|
|
// printany prints an argument passed to panic.
|
|
// If panic is called with a value that has a String or Error method,
|
|
// it has already been converted into a string by preprintpanics.
|
|
func printany(i interface{}) {
|
|
switch v := i.(type) {
|
|
case nil:
|
|
print("nil")
|
|
case bool:
|
|
print(v)
|
|
case int:
|
|
print(v)
|
|
case int8:
|
|
print(v)
|
|
case int16:
|
|
print(v)
|
|
case int32:
|
|
print(v)
|
|
case int64:
|
|
print(v)
|
|
case uint:
|
|
print(v)
|
|
case uint8:
|
|
print(v)
|
|
case uint16:
|
|
print(v)
|
|
case uint32:
|
|
print(v)
|
|
case uint64:
|
|
print(v)
|
|
case uintptr:
|
|
print(v)
|
|
case float32:
|
|
print(v)
|
|
case float64:
|
|
print(v)
|
|
case complex64:
|
|
print(v)
|
|
case complex128:
|
|
print(v)
|
|
case string:
|
|
print(v)
|
|
default:
|
|
print("(", typestring(i), ") ", i)
|
|
}
|
|
}
|