// 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
	Float float = 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(Float)	// 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"
}