Imported Upstream version 60upstream/60

1 files changed, 82 insertions, 0 deletions

diff --git a/test/const1.go b/test/const1.go
new file mode 100644
index 000000000..67f36e4fd
--- /dev/null
+++ b/test/const1.go
@@ -0,0 +1,82 @@
+// errchk $G -e $F.go
+
+// 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.
+
+package main
+
+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"
+	b6   = ^uint8(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"
+)
+
+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"