go/test/const1.go

95 lines
3.4 KiB
Go
Raw Normal View History

// errorcheck
// Copyright 2009 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.
// Verify overflow is detected when using numeric constants.
// Does not compile.
package main
import "unsafe"
type I interface{}
const (
// assume all types behave similarly to int8/uint8
Int8 int8 = 101
Minus1 int8 = -1
Uint8 uint8 = 102
Const = 103
Float32 float32 = 104.5
Float64 float64 = 105.5
ConstFloat = 106.5
Big float64 = 1e300
String = "abc"
Bool = true
)
var (
a1 = Int8 * 100 // ERROR "overflow"
a2 = Int8 * -1 // OK
a3 = Int8 * 1000 // ERROR "overflow"
a4 = Int8 * int8(1000) // ERROR "overflow"
a5 = int8(Int8 * 1000) // ERROR "overflow"
a6 = int8(Int8 * int8(1000)) // ERROR "overflow"
a7 = Int8 - 2*Int8 - 2*Int8 // ERROR "overflow"
a8 = Int8 * Const / 100 // ERROR "overflow"
a9 = Int8 * (Const / 100) // OK
b1 = Uint8 * Uint8 // ERROR "overflow"
b2 = Uint8 * -1 // ERROR "overflow"
b3 = Uint8 - Uint8 // OK
b4 = Uint8 - Uint8 - Uint8 // ERROR "overflow"
b5 = uint8(^0) // ERROR "overflow"
b5a = int64(^0) // OK
b6 = ^uint8(0) // OK
b6a = ^int64(0) // OK
b7 = uint8(Minus1) // ERROR "overflow"
b8 = uint8(int8(-1)) // ERROR "overflow"
b8a = uint8(-1) // ERROR "overflow"
b9 byte = (1 << 10) >> 8 // OK
b10 byte = (1 << 10) // ERROR "overflow"
b11 byte = (byte(1) << 10) >> 8 // ERROR "overflow"
b12 byte = 1000 // ERROR "overflow"
b13 byte = byte(1000) // ERROR "overflow"
b14 byte = byte(100) * byte(100) // ERROR "overflow"
b15 byte = byte(100) * 100 // ERROR "overflow"
b16 byte = byte(0) * 1000 // ERROR "overflow"
b16a byte = 0 * 1000 // OK
b17 byte = byte(0) * byte(1000) // ERROR "overflow"
b18 byte = Uint8 / 0 // ERROR "division by zero"
c1 float64 = Big
c2 float64 = Big * Big // ERROR "overflow"
c3 float64 = float64(Big) * Big // ERROR "overflow"
c4 = Big * Big // ERROR "overflow"
c5 = Big / 0 // ERROR "division by zero"
test: match gccgo error messages const1.go:31:12: error: integer constant overflow const1.go:31:12: error: integer constant overflow const1.go:33:12: error: integer constant overflow const1.go:33:12: error: integer constant overflow const1.go:34:14: error: integer constant overflow const1.go:35:17: error: integer constant overflow const1.go:35:17: error: integer constant overflow const1.go:35:17: error: integer constant overflow const1.go:35:17: error: integer constant overflow const1.go:35:17: error: integer constant overflow const1.go:36:19: error: integer constant overflow const1.go:37:15: error: integer constant overflow const1.go:37:15: error: integer constant overflow const1.go:37:24: error: integer constant overflow const1.go:37:15: error: integer constant overflow const1.go:37:15: error: integer constant overflow const1.go:37:15: error: integer constant overflow const1.go:37:24: error: integer constant overflow const1.go:37:15: error: integer constant overflow const1.go:38:12: error: integer constant overflow const1.go:38:12: error: integer constant overflow const1.go:38:12: error: integer constant overflow const1.go:38:12: error: integer constant overflow const1.go:41:20: error: integer constant overflow const1.go:41:20: error: integer constant overflow const1.go:42:20: error: integer constant overflow const1.go:42:20: error: integer constant overflow const1.go:44:28: error: integer constant overflow const1.go:44:28: error: integer constant overflow const1.go:45:14: error: integer constant overflow const1.go:49:14: error: integer constant overflow const1.go:50:14: error: integer constant overflow const1.go:51:14: error: integer constant overflow const1.go:54:23: error: integer constant overflow const1.go:54:23: error: integer constant overflow const1.go:54:23: error: integer constant overflow const1.go:54:23: error: integer constant overflow const1.go:56:14: error: integer constant overflow const1.go:57:24: error: integer constant overflow const1.go:57:24: error: integer constant overflow const1.go:58:24: error: integer constant overflow const1.go:58:24: error: integer constant overflow const1.go:59:22: error: integer constant overflow const1.go:59:22: error: integer constant overflow const1.go:61:24: error: integer constant overflow const1.go:62:20: error: division by zero const1.go:65:19: error: floating point constant overflow const1.go:65:19: error: floating point constant overflow const1.go:66:28: error: floating point constant overflow const1.go:66:28: error: floating point constant overflow const1.go:67:19: error: floating point constant overflow const1.go:67:19: error: floating point constant overflow const1.go:68:19: error: division by zero const1.go:33:14: error: integer constant overflow const1.go:35:19: error: integer constant overflow const1.go:42:22: error: integer constant overflow const1.go:53:17: error: integer constant overflow const1.go:55:14: error: integer constant overflow const1.go:59:24: error: integer constant overflow const1.go:69:20: error: expected integer type const1.go:75:4: error: argument 1 has incompatible type (cannot use type int8 as type int) const1.go:76:4: error: argument 1 has incompatible type (cannot use type int8 as type int) const1.go:77:4: error: argument 1 has incompatible type (cannot use type uint8 as type int) const1.go:79:4: error: argument 1 has incompatible type (cannot use type float32 as type int) const1.go:80:4: error: argument 1 has incompatible type (cannot use type float64 as type int) const1.go:81:4: error: floating point constant truncated to integer const1.go:83:4: error: argument 1 has incompatible type (cannot use type float64 as type int) const1.go:84:4: error: argument 1 has incompatible type (cannot use type string as type int) const1.go:85:4: error: argument 1 has incompatible type (cannot use type bool as type int) const1.go:88:7: error: const initializer cannot be nil const2.go:14:8: error: expected ‘=’ const5.go:27:7: error: expression is not constant const5.go:28:7: error: expression is not constant const5.go:30:7: error: expression is not constant const5.go:31:7: error: expression is not constant ddd1.go:57:23: error: invalid use of ‘...’ in type conversion ddd1.go:59:6: error: invalid use of ‘...’ in type conversion ddd1.go:60:12: error: use of ‘[...]’ outside of array literal ddd1.go:21:15: error: argument 1 has incompatible type ddd1.go:22:10: error: argument 1 has incompatible type ddd1.go:30:6: error: invalid use of ‘...’ with non-slice ddd1.go:30:6: error: invalid use of ‘...’ with non-slice ddd1.go:46:2: error: invalid use of %<...%> with builtin function ddd1.go:47:2: error: invalid use of %<...%> with builtin function ddd1.go:49:2: error: invalid use of %<...%> with builtin function ddd1.go:50:6: error: invalid use of %<...%> with builtin function ddd1.go:51:6: error: invalid use of %<...%> with builtin function ddd1.go:53:6: error: invalid use of %<...%> with builtin function ddd1.go:58:13: error: invalid use of %<...%> with builtin function ddd1.go:20:10: error: floating point constant truncated to integer ddd1.go:32:6: error: invalid use of ‘...’ calling non-variadic function declbad.go:20:3: error: variables redeclared but no variable is new declbad.go:38:3: error: variables redeclared but no variable is new declbad.go:44:3: error: variables redeclared but no variable is new declbad.go:51:3: error: variables redeclared but no variable is new declbad.go:57:3: error: variables redeclared but no variable is new declbad.go:63:3: error: variables redeclared but no variable is new declbad.go:26:3: error: incompatible types in assignment (cannot use type float32 as type int) declbad.go:32:3: error: incompatible types in assignment (cannot use type int as type float32) declbad.go:44:3: error: incompatible types in assignment (different number of results) fixedbugs/bug223.go:21:5: error: initialization expression for ‘m’ depends upon itself fixedbugs/bug412.go:10:2: error: duplicate field name ‘x’ fixedbugs/bug413.go:11:5: error: initialization expression for ‘i’ depends upon itself fixedbugs/bug416.go:13:1: error: method ‘X’ redeclares struct field name fixedbugs/bug435.go:15:49: error: missing ‘)’ fixedbugs/bug435.go:15:2: error: reference to undefined name ‘bar’ fixedbugs/bug451.go:9:9: error: expected package typeswitch3.go:39:9: error: no new variables on left side of ‘:=’ typeswitch3.go:24:2: error: impossible type switch case (type has no methods) R=golang-dev, rsc CC=golang-dev https://golang.org/cl/6560063
2012-09-28 15:30:30 +00:00
c6 = 1000 % 1e3 // ERROR "floating-point % operation|expected integer type"
)
func f(int)
func main() {
f(Int8) // ERROR "convert|wrong type|cannot"
f(Minus1) // ERROR "convert|wrong type|cannot"
f(Uint8) // ERROR "convert|wrong type|cannot"
f(Const) // OK
f(Float32) // ERROR "convert|wrong type|cannot"
f(Float64) // ERROR "convert|wrong type|cannot"
f(ConstFloat) // ERROR "truncate"
f(ConstFloat - 0.5) // OK
f(Big) // ERROR "convert|wrong type|cannot"
f(String) // ERROR "convert|wrong type|cannot|incompatible"
f(Bool) // ERROR "convert|wrong type|cannot|incompatible"
}
const ptr = nil // ERROR "const.*nil"
test: match gccgo error messages const1.go:33: error: integer constant overflow <similar errors omitted> const1.go:64: error: division by zero const1.go:67: error: floating point constant overflow const1.go:68: error: floating point constant overflow const1.go:69: error: floating point constant overflow const1.go:70: error: division by zero const1.go:71: error: expected integer type const1.go:77: error: argument 1 has incompatible type (cannot use type int8 as type int) const1.go:78: error: argument 1 has incompatible type (cannot use type int8 as type int) const1.go:79: error: argument 1 has incompatible type (cannot use type uint8 as type int) const1.go:81: error: argument 1 has incompatible type (cannot use type float32 as type int) const1.go:82: error: argument 1 has incompatible type (cannot use type float64 as type int) const1.go:83: error: floating point constant truncated to integer const1.go:85: error: argument 1 has incompatible type (cannot use type float64 as type int) const1.go:86: error: argument 1 has incompatible type (cannot use type string as type int) const1.go:87: error: argument 1 has incompatible type (cannot use type bool as type int) const1.go:90: error: const initializer cannot be nil const1.go:91: error: expression is not constant const1.go:92: error: expression is not constant const1.go:93: error: invalid constant type const1.go:94: error: invalid constant type fixedbugs/bug462.go:17: error: unknown field 'os.File' in 'T' fixedbugs/issue3705.go:9: error: cannot declare init - must be func fixedbugs/issue4251.go:12: error: inverted slice range fixedbugs/issue4251.go:16: error: inverted slice range fixedbugs/issue4251.go:20: error: inverted slice range fixedbugs/issue4405.go:11: error: invalid character 0x7 in identifier fixedbugs/issue4405.go:12: error: invalid character 0x8 in identifier fixedbugs/issue4405.go:13: error: invalid character 0xb in identifier fixedbugs/issue4405.go:14: error: invalid character 0xc in identifier fixedbugs/issue4429.go:15: error: expected pointer fixedbugs/issue4517d.go:9: error: cannot import package as init fixedbugs/issue4545.go:17: error: invalid context-determined non-integer type for left operand of shift fixedbugs/issue4545.go:16: error: incompatible types in binary expression fixedbugs/issue4610.go:15: error: expected ';' or '}' or newline fixedbugs/issue4610.go:16: error: expected declaration fixedbugs/issue4654.go:15: error: value computed is not used <similar errors omitted> fixedbugs/issue4776.go:9: error: program must start with package clause fixedbugs/issue4776.go:9: error: expected ';' or newline after package clause fixedbugs/issue4813.go:31: error: index must be integer <similar errors omitted> fixedbugs/issue4847.go:22: error: initialization expression for 'matchAny' depends upon itself fixedbugs/issue5089.go:13: error: redefinition of 'bufio.Buffered': receiver name changed fixedbugs/issue5089.go:11: note: previous definition of 'bufio.Buffered' was here fixedbugs/issue5172.go:17: error: reference to undefined field or method 'bar' fixedbugs/issue5172.go:18: error: reference to undefined field or method 'bar' fixedbugs/issue5172.go:12: error: use of undefined type 'bar' fixedbugs/issue5358.go:16: error: argument 2 has incompatible type fixedbugs/issue5581.go:29: error: use of undefined type 'Blah' funcdup.go:10: error: redefinition of 'i' funcdup.go:10: note: previous definition of 'i' was here <similar errors omitted> funcdup2.go:10: error: redefinition of 'i' funcdup2.go:10: note: previous definition of 'i' was here <similar errors omitted> slice3err.go:20: error: middle index required in 3-index slice <similar errors omitted> slice3err.go:20: error: final index required in 3-index slice <similar errors omitted> slice3err.go:21: error: final index required in 3-index slice slice3err.go:46: error: invalid 3-index slice of string <similar errors omitted> slice3err.go:57: error: inverted slice range <similar errors omitted> slice3err.go:62: error: invalid slice index: capacity less than length slice3err.go:64: error: invalid slice index: capacity less than start slice3err.go:65: error: invalid slice index: capacity less than start slice3err.go:66: error: invalid slice index: capacity less than start slice3err.go:68: error: invalid slice index: capacity less than length slice3err.go:70: error: invalid slice index: capacity less than start slice3err.go:80: error: invalid slice index: capacity less than length slice3err.go:82: error: invalid slice index: capacity less than start slice3err.go:83: error: invalid slice index: capacity less than start slice3err.go:84: error: invalid slice index: capacity less than start slice3err.go:86: error: invalid slice index: capacity less than length slice3err.go:88: error: invalid slice index: capacity less than start slice3err.go:99: error: array index out of bounds <similar errors omitted> slice3err.go:106: error: invalid slice index: capacity less than length slice3err.go:107: error: invalid slice index: capacity less than start slice3err.go:118: error: invalid slice index: capacity less than length slice3err.go:119: error: invalid slice index: capacity less than start syntax/semi1.go:10: error: missing '{' after if clause syntax/semi1.go:10: error: reference to undefined name 'x' syntax/semi1.go:10: error: reference to undefined name 'y' syntax/semi1.go:12: error: reference to undefined name 'z' syntax/semi2.go:10: error: missing '{' after switch clause syntax/semi2.go:10: error: reference to undefined name 'x' syntax/semi3.go:10: error: missing '{' after for clause syntax/semi3.go:10: error: reference to undefined name 'x' syntax/semi3.go:10: error: reference to undefined name 'y' syntax/semi3.go:10: error: reference to undefined name 'z' syntax/semi3.go:12: error: reference to undefined name 'z' syntax/semi4.go:11: error: missing '{' after for clause syntax/semi4.go:10: error: reference to undefined name 'x' syntax/semi4.go:12: error: reference to undefined name 'z' typecheck.go:12: error: reference to undefined name 'b' typecheck.go:17: error: reference to undefined name 'c' typecheck.go:11: error: use of undefined type 'b' typecheck.go:16: error: not enough arguments typecheck.go:17: error: not enough arguments R=golang-dev, rsc CC=golang-dev https://golang.org/cl/41520044
2013-12-13 01:18:12 +00:00
const _ = string([]byte(nil)) // ERROR "is not a? ?constant"
const _ = uintptr(unsafe.Pointer((*int)(nil))) // ERROR "is not a? ?constant"
const _ = unsafe.Pointer((*int)(nil)) // ERROR "cannot be nil|invalid constant type|is not a constant"
const _ = (*int)(nil) // ERROR "cannot be nil|invalid constant type|is not a constant"