blob: 0dae49a74dc590a0a40c9007688be4d20908b2c6 [file] [log] [blame]
Russ Cox57eb06f2012-02-16 23:51:04 -05001// errorcheck
Robert Griesemer8c207872011-05-25 10:26:06 -07002
Emmanuel Odeke53fd5222016-04-10 14:32:26 -07003// Copyright 2011 The Go Authors. All rights reserved.
Robert Griesemer8c207872011-05-25 10:26:06 -07004// Use of this source code is governed by a BSD-style
5// license that can be found in the LICENSE file.
6
Rob Pike80a97832012-02-24 11:48:19 +11007// Test illegal shifts.
Robert Griesemer8c207872011-05-25 10:26:06 -07008// Issue 1708, illegal cases.
Rob Pike80a97832012-02-24 11:48:19 +11009// Does not compile.
Robert Griesemer8c207872011-05-25 10:26:06 -070010
11package p
12
13func f(x int) int { return 0 }
14func g(x interface{}) int { return 0 }
15func h(x float64) int { return 0 }
16
17// from the spec
18var (
19 s uint = 33
Ian Lance Taylor9169c272011-09-21 17:25:48 -070020 u = 1.0 << s // ERROR "invalid operation|shift of non-integer operand"
Matthew Dempsky581526c2019-09-05 13:33:06 -070021 v float32 = 1 << s // ERROR "invalid"
Robert Griesemer8c207872011-05-25 10:26:06 -070022)
23
24// non-constant shift expressions
25var (
Matthew Dempsky581526c2019-09-05 13:33:06 -070026 e1 = g(2.0 << s) // ERROR "invalid|shift of non-integer operand"
27 f1 = h(2 << s) // ERROR "invalid"
Dan Scales29483b32021-11-27 10:33:59 -080028 g1 int64 = 1.1 << s // ERROR "truncated|must be integer"
Robert Griesemer8c207872011-05-25 10:26:06 -070029)
30
31// constant shift expressions
32const c uint = 65
33
34var (
35 a2 int = 1.0 << c // ERROR "overflow"
36 b2 = 1.0 << c // ERROR "overflow"
37 d2 = f(1.0 << c) // ERROR "overflow"
38)
Rémy Oudomphenga85fce22013-03-04 16:51:42 +010039
40var (
41 // issues 4882, 4936.
Ian Lance Taylor1761e252013-06-26 08:23:52 -070042 a3 = 1.0<<s + 0 // ERROR "invalid|shift of non-integer operand"
Rémy Oudomphenga85fce22013-03-04 16:51:42 +010043 // issue 4937
Ian Lance Taylor1761e252013-06-26 08:23:52 -070044 b3 = 1<<s + 1 + 1.0 // ERROR "invalid|shift of non-integer operand"
Rémy Oudompheng861aa462013-03-16 00:37:28 +010045 // issue 5014
Ian Lance Taylor1761e252013-06-26 08:23:52 -070046 c3 = complex(1<<s, 0) // ERROR "invalid|shift of type float64"
Dan Scales29483b32021-11-27 10:33:59 -080047 d3 int = complex(1<<s, 3) // ERROR "non-integer|cannot use.*as type int" "shift of type float64|must be integer"
Rémy Oudompheng861aa462013-03-16 00:37:28 +010048 e3 = real(1 << s) // ERROR "invalid"
49 f3 = imag(1 << s) // ERROR "invalid"
50)
51
Robert Griesemerf8ff6892013-03-21 16:56:59 -070052// from the spec
53func _() {
54 var (
55 s uint = 33
56 i = 1 << s // 1 has type int
57 j int32 = 1 << s // 1 has type int32; j == 0
58 k = uint64(1 << s) // 1 has type uint64; k == 1<<33
59 m int = 1.0 << s // 1.0 has type int
60 n = 1.0<<s != i // 1.0 has type int; n == false if ints are 32bits in size
61 o = 1<<s == 2<<s // 1 and 2 have type int; o == true if ints are 32bits in size
62 // next test only fails on 32bit systems
63 // p = 1<<s == 1<<33 // illegal if ints are 32bits in size: 1 has type int, but 1<<33 overflows int
Ian Lance Taylor1761e252013-06-26 08:23:52 -070064 u = 1.0 << s // ERROR "non-integer|float64"
65 u1 = 1.0<<s != 0 // ERROR "non-integer|float64"
66 u2 = 1<<s != 1.0 // ERROR "non-integer|float64"
67 v float32 = 1 << s // ERROR "non-integer|float32"
Robert Griesemerf8ff6892013-03-21 16:56:59 -070068 w int64 = 1.0 << 33 // 1.0<<33 is a constant shift expression
Matthew Dempsky581526c2019-09-05 13:33:06 -070069
Ian Lance Taylor1761e252013-06-26 08:23:52 -070070 _, _, _, _, _, _, _, _, _, _ = j, k, m, n, o, u, u1, u2, v, w
Robert Griesemerf8ff6892013-03-21 16:56:59 -070071 )
Alberto Donizetti1737aef2017-04-22 15:28:58 +020072
73 // non constants arguments trigger a different path
74 f2 := 1.2
75 s2 := "hi"
Dan Scales29483b32021-11-27 10:33:59 -080076 _ = f2 << 2 // ERROR "shift of type float64|non-integer|must be integer"
77 _ = s2 << 2 // ERROR "shift of type string|non-integer|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -070078}
79
80// shifts in comparisons w/ untyped operands
Rémy Oudompheng861aa462013-03-16 00:37:28 +010081var (
Robert Griesemerf8ff6892013-03-21 16:56:59 -070082 _ = 1<<s == 1
Ian Lance Taylor1761e252013-06-26 08:23:52 -070083 _ = 1<<s == 1. // ERROR "invalid|shift of type float64"
84 _ = 1.<<s == 1 // ERROR "invalid|shift of type float64"
85 _ = 1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64"
Robert Griesemerf8ff6892013-03-21 16:56:59 -070086
87 _ = 1<<s+1 == 1
Ian Lance Taylor1761e252013-06-26 08:23:52 -070088 _ = 1<<s+1 == 1. // ERROR "invalid|shift of type float64"
89 _ = 1<<s+1. == 1 // ERROR "invalid|shift of type float64"
90 _ = 1<<s+1. == 1. // ERROR "invalid|shift of type float64"
91 _ = 1.<<s+1 == 1 // ERROR "invalid|shift of type float64"
92 _ = 1.<<s+1 == 1. // ERROR "invalid|shift of type float64"
93 _ = 1.<<s+1. == 1 // ERROR "invalid|shift of type float64"
94 _ = 1.<<s+1. == 1. // ERROR "invalid|non-integer|shift of type float64"
Robert Griesemerf8ff6892013-03-21 16:56:59 -070095
96 _ = 1<<s == 1<<s
Ian Lance Taylor1761e252013-06-26 08:23:52 -070097 _ = 1<<s == 1.<<s // ERROR "invalid|shift of type float64"
98 _ = 1.<<s == 1<<s // ERROR "invalid|shift of type float64"
99 _ = 1.<<s == 1.<<s // ERROR "invalid|non-integer|shift of type float64"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700100
101 _ = 1<<s+1<<s == 1
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700102 _ = 1<<s+1<<s == 1. // ERROR "invalid|shift of type float64"
103 _ = 1<<s+1.<<s == 1 // ERROR "invalid|shift of type float64"
104 _ = 1<<s+1.<<s == 1. // ERROR "invalid|shift of type float64"
105 _ = 1.<<s+1<<s == 1 // ERROR "invalid|shift of type float64"
106 _ = 1.<<s+1<<s == 1. // ERROR "invalid|shift of type float64"
107 _ = 1.<<s+1.<<s == 1 // ERROR "invalid|shift of type float64"
108 _ = 1.<<s+1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700109
110 _ = 1<<s+1<<s == 1<<s+1<<s
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700111 _ = 1<<s+1<<s == 1<<s+1.<<s // ERROR "invalid|shift of type float64"
112 _ = 1<<s+1<<s == 1.<<s+1<<s // ERROR "invalid|shift of type float64"
113 _ = 1<<s+1<<s == 1.<<s+1.<<s // ERROR "invalid|shift of type float64"
114 _ = 1<<s+1.<<s == 1<<s+1<<s // ERROR "invalid|shift of type float64"
115 _ = 1<<s+1.<<s == 1<<s+1.<<s // ERROR "invalid|shift of type float64"
116 _ = 1<<s+1.<<s == 1.<<s+1<<s // ERROR "invalid|shift of type float64"
117 _ = 1<<s+1.<<s == 1.<<s+1.<<s // ERROR "invalid|non-integer|shift of type float64"
118 _ = 1.<<s+1<<s == 1<<s+1<<s // ERROR "invalid|shift of type float64"
119 _ = 1.<<s+1<<s == 1<<s+1.<<s // ERROR "invalid|shift of type float64"
120 _ = 1.<<s+1<<s == 1.<<s+1<<s // ERROR "invalid|shift of type float64"
121 _ = 1.<<s+1<<s == 1.<<s+1.<<s // ERROR "invalid|non-integer|shift of type float64"
122 _ = 1.<<s+1.<<s == 1<<s+1<<s // ERROR "invalid|shift of type float64"
123 _ = 1.<<s+1.<<s == 1<<s+1.<<s // ERROR "invalid|non-integer|shift of type float64"
124 _ = 1.<<s+1.<<s == 1.<<s+1<<s // ERROR "invalid|non-integer|shift of type float64"
125 _ = 1.<<s+1.<<s == 1.<<s+1.<<s // ERROR "invalid|non-integer|shift of type float64"
Rémy Oudomphenga85fce22013-03-04 16:51:42 +0100126)
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700127
128// shifts in comparisons w/ typed operands
129var (
130 x int
131 _ = 1<<s == x
132 _ = 1.<<s == x
Dan Scales29483b32021-11-27 10:33:59 -0800133 _ = 1.1<<s == x // ERROR "truncated|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700134
135 _ = 1<<s+x == 1
136 _ = 1<<s+x == 1.
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700137 _ = 1<<s+x == 1.1 // ERROR "truncated"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700138 _ = 1.<<s+x == 1
139 _ = 1.<<s+x == 1.
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700140 _ = 1.<<s+x == 1.1 // ERROR "truncated"
Dan Scales29483b32021-11-27 10:33:59 -0800141 _ = 1.1<<s+x == 1 // ERROR "truncated|must be integer"
142 _ = 1.1<<s+x == 1. // ERROR "truncated|must be integer"
143 _ = 1.1<<s+x == 1.1 // ERROR "truncated|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700144
145 _ = 1<<s == x<<s
146 _ = 1.<<s == x<<s
Dan Scales29483b32021-11-27 10:33:59 -0800147 _ = 1.1<<s == x<<s // ERROR "truncated|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700148)
149
150// shifts as operands in non-arithmetic operations and as arguments
151func _() {
152 var s uint
153 var a []int
154 _ = a[1<<s]
155 _ = a[1.]
Robert Griesemer088a9ad2017-11-30 15:47:46 -0800156 _ = a[1.<<s]
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700157 _ = a[1.1<<s] // ERROR "integer|shift of type float64"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700158
159 _ = make([]int, 1)
160 _ = make([]int, 1.)
161 _ = make([]int, 1.<<s)
Dan Scales29483b32021-11-27 10:33:59 -0800162 _ = make([]int, 1.1<<s) // ERROR "non-integer|truncated|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700163
164 _ = float32(1)
Dan Scales29483b32021-11-27 10:33:59 -0800165 _ = float32(1 << s) // ERROR "non-integer|shift of type float32|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700166 _ = float32(1.)
Dan Scales29483b32021-11-27 10:33:59 -0800167 _ = float32(1. << s) // ERROR "non-integer|shift of type float32|must be integer"
168 _ = float32(1.1 << s) // ERROR "non-integer|shift of type float32|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700169
170 _ = append(a, 1<<s)
171 _ = append(a, 1.<<s)
Dan Scales29483b32021-11-27 10:33:59 -0800172 _ = append(a, 1.1<<s) // ERROR "truncated|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700173
174 var b []float32
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700175 _ = append(b, 1<<s) // ERROR "non-integer|type float32"
176 _ = append(b, 1.<<s) // ERROR "non-integer|type float32"
Dan Scales29483b32021-11-27 10:33:59 -0800177 _ = append(b, 1.1<<s) // ERROR "non-integer|type float32|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700178
Dan Scales29483b32021-11-27 10:33:59 -0800179 _ = complex(1.<<s, 0) // ERROR "non-integer|shift of type float64|must be integer"
180 _ = complex(1.1<<s, 0) // ERROR "non-integer|shift of type float64|must be integer"
181 _ = complex(0, 1.<<s) // ERROR "non-integer|shift of type float64|must be integer"
182 _ = complex(0, 1.1<<s) // ERROR "non-integer|shift of type float64|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700183
184 var a4 float64
185 var b4 int
Dan Scales29483b32021-11-27 10:33:59 -0800186 _ = complex(1<<s, a4) // ERROR "non-integer|shift of type float64|must be integer"
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700187 _ = complex(1<<s, b4) // ERROR "invalid|non-integer|"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700188
189 var m1 map[int]string
190 delete(m1, 1<<s)
191 delete(m1, 1.<<s)
Dan Scales29483b32021-11-27 10:33:59 -0800192 delete(m1, 1.1<<s) // ERROR "truncated|shift of type float64|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700193
194 var m2 map[float32]string
195 delete(m2, 1<<s) // ERROR "invalid|cannot use 1 << s as type float32"
196 delete(m2, 1.<<s) // ERROR "invalid|cannot use 1 << s as type float32"
197 delete(m2, 1.1<<s) // ERROR "invalid|cannot use 1.1 << s as type float32"
198}
199
200// shifts of shifts
201func _() {
202 var s uint
203 _ = 1 << (1 << s)
204 _ = 1 << (1. << s)
Dan Scales29483b32021-11-27 10:33:59 -0800205 _ = 1 << (1.1 << s) // ERROR "non-integer|truncated|must be integer"
206 _ = 1. << (1 << s) // ERROR "non-integer|shift of type float64|must be integer"
207 _ = 1. << (1. << s) // ERROR "non-integer|shift of type float64|must be integer"
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700208 _ = 1.1 << (1.1 << s) // ERROR "invalid|non-integer|truncated"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700209
210 _ = (1 << s) << (1 << s)
211 _ = (1 << s) << (1. << s)
Dan Scales29483b32021-11-27 10:33:59 -0800212 _ = (1 << s) << (1.1 << s) // ERROR "truncated|must be integer"
213 _ = (1. << s) << (1 << s) // ERROR "non-integer|shift of type float64|must be integer"
214 _ = (1. << s) << (1. << s) // ERROR "non-integer|shift of type float64|must be integer"
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700215 _ = (1.1 << s) << (1.1 << s) // ERROR "invalid|non-integer|truncated"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700216
217 var x int
218 x = 1 << (1 << s)
219 x = 1 << (1. << s)
Dan Scales29483b32021-11-27 10:33:59 -0800220 x = 1 << (1.1 << s) // ERROR "truncated|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700221 x = 1. << (1 << s)
222 x = 1. << (1. << s)
Dan Scales29483b32021-11-27 10:33:59 -0800223 x = 1.1 << (1.1 << s) // ERROR "truncated|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700224
225 x = (1 << s) << (1 << s)
226 x = (1 << s) << (1. << s)
Dan Scales29483b32021-11-27 10:33:59 -0800227 x = (1 << s) << (1.1 << s) // ERROR "truncated|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700228 x = (1. << s) << (1 << s)
229 x = (1. << s) << (1. << s)
Dan Scales29483b32021-11-27 10:33:59 -0800230 x = (1.1 << s) << (1.1 << s) // ERROR "truncated|must be integer"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700231
232 var y float32
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700233 y = 1 << (1 << s) // ERROR "non-integer|type float32"
234 y = 1 << (1. << s) // ERROR "non-integer|type float32"
235 y = 1 << (1.1 << s) // ERROR "invalid|truncated|float32"
236 y = 1. << (1 << s) // ERROR "non-integer|type float32"
237 y = 1. << (1. << s) // ERROR "non-integer|type float32"
238 y = 1.1 << (1.1 << s) // ERROR "invalid|truncated|float32"
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700239
240 var z complex128
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700241 z = (1 << s) << (1 << s) // ERROR "non-integer|type complex128"
242 z = (1 << s) << (1. << s) // ERROR "non-integer|type complex128"
243 z = (1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128"
Dan Scales29483b32021-11-27 10:33:59 -0800244 z = (1. << s) << (1 << s) // ERROR "non-integer|type complex128|must be integer"
245 z = (1. << s) << (1. << s) // ERROR "non-integer|type complex128|must be integer"
Ian Lance Taylor1761e252013-06-26 08:23:52 -0700246 z = (1.1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128"
Ian Lance Taylor8259b012014-07-20 12:25:24 -0700247
248 _, _, _ = x, y, z
Robert Griesemerf8ff6892013-03-21 16:56:59 -0700249}