diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/go.test/test/shift1.go')
| -rw-r--r-- | gcc-4.9/gcc/testsuite/go.test/test/shift1.go | 241 |
1 files changed, 241 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/go.test/test/shift1.go b/gcc-4.9/gcc/testsuite/go.test/test/shift1.go new file mode 100644 index 000000000..44a3792c4 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/go.test/test/shift1.go @@ -0,0 +1,241 @@ +// errorcheck + +// Copyright 2011 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. + +// Test illegal shifts. +// Issue 1708, illegal cases. +// Does not compile. + +package p + +func f(x int) int { return 0 } +func g(x interface{}) int { return 0 } +func h(x float64) int { return 0 } + +// from the spec +var ( + s uint = 33 + u = 1.0 << s // ERROR "invalid operation|shift of non-integer operand" + v float32 = 1 << s // ERROR "invalid" "as type float32" +) + +// non-constant shift expressions +var ( + e1 = g(2.0 << s) // ERROR "invalid|shift of non-integer operand" "as type interface" + f1 = h(2 << s) // ERROR "invalid" "as type float64" + g1 int64 = 1.1 << s // ERROR "truncated" +) + +// constant shift expressions +const c uint = 65 + +var ( + a2 int = 1.0 << c // ERROR "overflow" + b2 = 1.0 << c // ERROR "overflow" + d2 = f(1.0 << c) // ERROR "overflow" +) + +var ( + // issues 4882, 4936. + a3 = 1.0<<s + 0 // ERROR "invalid|shift of non-integer operand" + // issue 4937 + b3 = 1<<s + 1 + 1.0 // ERROR "invalid|shift of non-integer operand" + // issue 5014 + c3 = complex(1<<s, 0) // ERROR "invalid|shift of type float64" + d3 int = complex(1<<s, 3) // ERROR "non-integer|cannot use.*as type int" "shift of type float64" + e3 = real(1 << s) // ERROR "invalid" + f3 = imag(1 << s) // ERROR "invalid" +) + +// from the spec +func _() { + var ( + s uint = 33 + i = 1 << s // 1 has type int + j int32 = 1 << s // 1 has type int32; j == 0 + k = uint64(1 << s) // 1 has type uint64; k == 1<<33 + m int = 1.0 << s // 1.0 has type int + n = 1.0<<s != i // 1.0 has type int; n == false if ints are 32bits in size + o = 1<<s == 2<<s // 1 and 2 have type int; o == true if ints are 32bits in size + // next test only fails on 32bit systems + // p = 1<<s == 1<<33 // illegal if ints are 32bits in size: 1 has type int, but 1<<33 overflows int + u = 1.0 << s // ERROR "non-integer|float64" + u1 = 1.0<<s != 0 // ERROR "non-integer|float64" + u2 = 1<<s != 1.0 // ERROR "non-integer|float64" + v float32 = 1 << s // ERROR "non-integer|float32" + w int64 = 1.0 << 33 // 1.0<<33 is a constant shift expression + _, _, _, _, _, _, _, _, _, _ = j, k, m, n, o, u, u1, u2, v, w + ) +} + +// shifts in comparisons w/ untyped operands +var ( + _ = 1<<s == 1 + _ = 1<<s == 1. // ERROR "invalid|shift of type float64" + _ = 1.<<s == 1 // ERROR "invalid|shift of type float64" + _ = 1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64" + + _ = 1<<s+1 == 1 + _ = 1<<s+1 == 1. // ERROR "invalid|shift of type float64" + _ = 1<<s+1. == 1 // ERROR "invalid|shift of type float64" + _ = 1<<s+1. == 1. // ERROR "invalid|shift of type float64" + _ = 1.<<s+1 == 1 // ERROR "invalid|shift of type float64" + _ = 1.<<s+1 == 1. // ERROR "invalid|shift of type float64" + _ = 1.<<s+1. == 1 // ERROR "invalid|shift of type float64" + _ = 1.<<s+1. == 1. // ERROR "invalid|non-integer|shift of type float64" + + _ = 1<<s == 1<<s + _ = 1<<s == 1.<<s // ERROR "invalid|shift of type float64" + _ = 1.<<s == 1<<s // ERROR "invalid|shift of type float64" + _ = 1.<<s == 1.<<s // ERROR "invalid|non-integer|shift of type float64" + + _ = 1<<s+1<<s == 1 + _ = 1<<s+1<<s == 1. // ERROR "invalid|shift of type float64" + _ = 1<<s+1.<<s == 1 // ERROR "invalid|shift of type float64" + _ = 1<<s+1.<<s == 1. // ERROR "invalid|shift of type float64" + _ = 1.<<s+1<<s == 1 // ERROR "invalid|shift of type float64" + _ = 1.<<s+1<<s == 1. // ERROR "invalid|shift of type float64" + _ = 1.<<s+1.<<s == 1 // ERROR "invalid|shift of type float64" + _ = 1.<<s+1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64" + + _ = 1<<s+1<<s == 1<<s+1<<s + _ = 1<<s+1<<s == 1<<s+1.<<s // ERROR "invalid|shift of type float64" + _ = 1<<s+1<<s == 1.<<s+1<<s // ERROR "invalid|shift of type float64" + _ = 1<<s+1<<s == 1.<<s+1.<<s // ERROR "invalid|shift of type float64" + _ = 1<<s+1.<<s == 1<<s+1<<s // ERROR "invalid|shift of type float64" + _ = 1<<s+1.<<s == 1<<s+1.<<s // ERROR "invalid|shift of type float64" + _ = 1<<s+1.<<s == 1.<<s+1<<s // ERROR "invalid|shift of type float64" + _ = 1<<s+1.<<s == 1.<<s+1.<<s // ERROR "invalid|non-integer|shift of type float64" + _ = 1.<<s+1<<s == 1<<s+1<<s // ERROR "invalid|shift of type float64" + _ = 1.<<s+1<<s == 1<<s+1.<<s // ERROR "invalid|shift of type float64" + _ = 1.<<s+1<<s == 1.<<s+1<<s // ERROR "invalid|shift of type float64" + _ = 1.<<s+1<<s == 1.<<s+1.<<s // ERROR "invalid|non-integer|shift of type float64" + _ = 1.<<s+1.<<s == 1<<s+1<<s // ERROR "invalid|shift of type float64" + _ = 1.<<s+1.<<s == 1<<s+1.<<s // ERROR "invalid|non-integer|shift of type float64" + _ = 1.<<s+1.<<s == 1.<<s+1<<s // ERROR "invalid|non-integer|shift of type float64" + _ = 1.<<s+1.<<s == 1.<<s+1.<<s // ERROR "invalid|non-integer|shift of type float64" +) + +// shifts in comparisons w/ typed operands +var ( + x int + _ = 1<<s == x + _ = 1.<<s == x + _ = 1.1<<s == x // ERROR "truncated" + + _ = 1<<s+x == 1 + _ = 1<<s+x == 1. + _ = 1<<s+x == 1.1 // ERROR "truncated" + _ = 1.<<s+x == 1 + _ = 1.<<s+x == 1. + _ = 1.<<s+x == 1.1 // ERROR "truncated" + _ = 1.1<<s+x == 1 // ERROR "truncated" + _ = 1.1<<s+x == 1. // ERROR "truncated" + _ = 1.1<<s+x == 1.1 // ERROR "truncated" + + _ = 1<<s == x<<s + _ = 1.<<s == x<<s + _ = 1.1<<s == x<<s // ERROR "truncated" +) + +// shifts as operands in non-arithmetic operations and as arguments +func _() { + var s uint + var a []int + _ = a[1<<s] + _ = a[1.] + // For now, the spec disallows these. We may revisit past Go 1.1. + _ = a[1.<<s] // ERROR "integer|shift of type float64" + _ = a[1.1<<s] // ERROR "integer|shift of type float64" + + _ = make([]int, 1) + _ = make([]int, 1.) + _ = make([]int, 1.<<s) + _ = make([]int, 1.1<<s) // ERROR "non-integer|truncated" + + _ = float32(1) + _ = float32(1 << s) // ERROR "non-integer|shift of type float32" + _ = float32(1.) + _ = float32(1. << s) // ERROR "non-integer|shift of type float32" + _ = float32(1.1 << s) // ERROR "non-integer|shift of type float32" + + _ = append(a, 1<<s) + _ = append(a, 1.<<s) + _ = append(a, 1.1<<s) // ERROR "truncated" + + var b []float32 + _ = append(b, 1<<s) // ERROR "non-integer|type float32" + _ = append(b, 1.<<s) // ERROR "non-integer|type float32" + _ = append(b, 1.1<<s) // ERROR "non-integer|type float32" + + _ = complex(1.<<s, 0) // ERROR "non-integer|shift of type float64" + _ = complex(1.1<<s, 0) // ERROR "non-integer|shift of type float64" + _ = complex(0, 1.<<s) // ERROR "non-integer|shift of type float64" + _ = complex(0, 1.1<<s) // ERROR "non-integer|shift of type float64" + + var a4 float64 + var b4 int + _ = complex(1<<s, a4) // ERROR "non-integer|shift of type float64" + _ = complex(1<<s, b4) // ERROR "invalid|non-integer|" + + var m1 map[int]string + delete(m1, 1<<s) + delete(m1, 1.<<s) + delete(m1, 1.1<<s) // ERROR "truncated|shift of type float64" + + var m2 map[float32]string + delete(m2, 1<<s) // ERROR "invalid|cannot use 1 << s as type float32" + delete(m2, 1.<<s) // ERROR "invalid|cannot use 1 << s as type float32" + delete(m2, 1.1<<s) // ERROR "invalid|cannot use 1.1 << s as type float32" +} + +// shifts of shifts +func _() { + var s uint + _ = 1 << (1 << s) + _ = 1 << (1. << s) + _ = 1 << (1.1 << s) // ERROR "non-integer|truncated" + _ = 1. << (1 << s) // ERROR "non-integer|shift of type float64" + _ = 1. << (1. << s) // ERROR "non-integer|shift of type float64" + _ = 1.1 << (1.1 << s) // ERROR "invalid|non-integer|truncated" + + _ = (1 << s) << (1 << s) + _ = (1 << s) << (1. << s) + _ = (1 << s) << (1.1 << s) // ERROR "truncated" + _ = (1. << s) << (1 << s) // ERROR "non-integer|shift of type float64" + _ = (1. << s) << (1. << s) // ERROR "non-integer|shift of type float64" + _ = (1.1 << s) << (1.1 << s) // ERROR "invalid|non-integer|truncated" + + var x int + x = 1 << (1 << s) + x = 1 << (1. << s) + x = 1 << (1.1 << s) // ERROR "truncated" + x = 1. << (1 << s) + x = 1. << (1. << s) + x = 1.1 << (1.1 << s) // ERROR "truncated" + + x = (1 << s) << (1 << s) + x = (1 << s) << (1. << s) + x = (1 << s) << (1.1 << s) // ERROR "truncated" + x = (1. << s) << (1 << s) + x = (1. << s) << (1. << s) + x = (1.1 << s) << (1.1 << s) // ERROR "truncated" + + var y float32 + y = 1 << (1 << s) // ERROR "non-integer|type float32" + y = 1 << (1. << s) // ERROR "non-integer|type float32" + y = 1 << (1.1 << s) // ERROR "invalid|truncated|float32" + y = 1. << (1 << s) // ERROR "non-integer|type float32" + y = 1. << (1. << s) // ERROR "non-integer|type float32" + y = 1.1 << (1.1 << s) // ERROR "invalid|truncated|float32" + + var z complex128 + z = (1 << s) << (1 << s) // ERROR "non-integer|type complex128" + z = (1 << s) << (1. << s) // ERROR "non-integer|type complex128" + z = (1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128" + z = (1. << s) << (1 << s) // ERROR "non-integer|type complex128" + z = (1. << s) << (1. << s) // ERROR "non-integer|type complex128" + z = (1.1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128" +} |