1 // errorcheck 2 3 // Copyright 2011 The Go Authors. All rights reserved. 4 // Use of this source code is governed by a BSD-style 5 // license that can be found in the LICENSE file. 6 7 // Test illegal shifts. 8 // Issue 1708, illegal cases. 9 // Does not compile. 10 11 package p 12 13 func f(x int) int { return 0 } 14 func g(x interface{}) int { return 0 } 15 func h(x float64) int { return 0 } 16 17 // from the spec 18 var ( 19 s uint = 33 20 u = 1.0 << s // ERROR "invalid operation|shift of non-integer operand" 21 v float32 = 1 << s // ERROR "invalid" "as type float32" 22 ) 23 24 // non-constant shift expressions 25 var ( 26 e1 = g(2.0 << s) // ERROR "invalid|shift of non-integer operand" "as type interface" 27 f1 = h(2 << s) // ERROR "invalid" "as type float64" 28 g1 int64 = 1.1 << s // ERROR "truncated" 29 ) 30 31 // constant shift expressions 32 const c uint = 65 33 34 var ( 35 a2 int = 1.0 << c // ERROR "overflow" 36 b2 = 1.0 << c // ERROR "overflow" 37 d2 = f(1.0 << c) // ERROR "overflow" 38 ) 39 40 var ( 41 // issues 4882, 4936. 42 a3 = 1.0<<s + 0 // ERROR "invalid|shift of non-integer operand" 43 // issue 4937 44 b3 = 1<<s + 1 + 1.0 // ERROR "invalid|shift of non-integer operand" 45 // issue 5014 46 c3 = complex(1<<s, 0) // ERROR "invalid|shift of type float64" 47 d3 int = complex(1<<s, 3) // ERROR "non-integer|cannot use.*as type int" "shift of type float64" 48 e3 = real(1 << s) // ERROR "invalid" 49 f3 = imag(1 << s) // ERROR "invalid" 50 ) 51 52 // from the spec 53 func _() { 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 64 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" 68 w int64 = 1.0 << 33 // 1.0<<33 is a constant shift expression 69 _, _, _, _, _, _, _, _, _, _ = j, k, m, n, o, u, u1, u2, v, w 70 ) 71 72 // non constants arguments trigger a different path 73 f2 := 1.2 74 s2 := "hi" 75 _ = f2 << 2 // ERROR "shift of type float64" 76 _ = s2 << 2 // ERROR "shift of type string" 77 } 78 79 // shifts in comparisons w/ untyped operands 80 var ( 81 _ = 1<<s == 1 82 _ = 1<<s == 1. // ERROR "invalid|shift of type float64" 83 _ = 1.<<s == 1 // ERROR "invalid|shift of type float64" 84 _ = 1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64" 85 86 _ = 1<<s+1 == 1 87 _ = 1<<s+1 == 1. // ERROR "invalid|shift of type float64" 88 _ = 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|non-integer|shift of type float64" 94 95 _ = 1<<s == 1<<s 96 _ = 1<<s == 1.<<s // ERROR "invalid|shift of type float64" 97 _ = 1.<<s == 1<<s // ERROR "invalid|shift of type float64" 98 _ = 1.<<s == 1.<<s // ERROR "invalid|non-integer|shift of type float64" 99 100 _ = 1<<s+1<<s == 1 101 _ = 1<<s+1<<s == 1. // ERROR "invalid|shift of type float64" 102 _ = 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|non-integer|shift of type float64" 108 109 _ = 1<<s+1<<s == 1<<s+1<<s 110 _ = 1<<s+1<<s == 1<<s+1.<<s // ERROR "invalid|shift of type float64" 111 _ = 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|non-integer|shift of type float64" 117 _ = 1.<<s+1<<s == 1<<s+1<<s // ERROR "invalid|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|non-integer|shift of type float64" 121 _ = 1.<<s+1.<<s == 1<<s+1<<s // ERROR "invalid|shift of type float64" 122 _ = 1.<<s+1.<<s == 1<<s+1.<<s // ERROR "invalid|non-integer|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 ) 126 127 // shifts in comparisons w/ typed operands 128 var ( 129 x int 130 _ = 1<<s == x 131 _ = 1.<<s == x 132 _ = 1.1<<s == x // ERROR "truncated" 133 134 _ = 1<<s+x == 1 135 _ = 1<<s+x == 1. 136 _ = 1<<s+x == 1.1 // ERROR "truncated" 137 _ = 1.<<s+x == 1 138 _ = 1.<<s+x == 1. 139 _ = 1.<<s+x == 1.1 // ERROR "truncated" 140 _ = 1.1<<s+x == 1 // ERROR "truncated" 141 _ = 1.1<<s+x == 1. // ERROR "truncated" 142 _ = 1.1<<s+x == 1.1 // ERROR "truncated" 143 144 _ = 1<<s == x<<s 145 _ = 1.<<s == x<<s 146 _ = 1.1<<s == x<<s // ERROR "truncated" 147 ) 148 149 // shifts as operands in non-arithmetic operations and as arguments 150 func _() { 151 var s uint 152 var a []int 153 _ = a[1<<s] 154 _ = a[1.] 155 _ = a[1.<<s] 156 _ = a[1.1<<s] // ERROR "integer|shift of type float64" 157 158 _ = make([]int, 1) 159 _ = make([]int, 1.) 160 _ = make([]int, 1.<<s) 161 _ = make([]int, 1.1<<s) // ERROR "non-integer|truncated" 162 163 _ = float32(1) 164 _ = float32(1 << s) // ERROR "non-integer|shift of type float32" 165 _ = float32(1.) 166 _ = float32(1. << s) // ERROR "non-integer|shift of type float32" 167 _ = float32(1.1 << s) // ERROR "non-integer|shift of type float32" 168 169 _ = append(a, 1<<s) 170 _ = append(a, 1.<<s) 171 _ = append(a, 1.1<<s) // ERROR "truncated" 172 173 var b []float32 174 _ = append(b, 1<<s) // ERROR "non-integer|type float32" 175 _ = append(b, 1.<<s) // ERROR "non-integer|type float32" 176 _ = append(b, 1.1<<s) // ERROR "non-integer|type float32" 177 178 _ = complex(1.<<s, 0) // ERROR "non-integer|shift of type float64" 179 _ = complex(1.1<<s, 0) // ERROR "non-integer|shift of type float64" 180 _ = complex(0, 1.<<s) // ERROR "non-integer|shift of type float64" 181 _ = complex(0, 1.1<<s) // ERROR "non-integer|shift of type float64" 182 183 var a4 float64 184 var b4 int 185 _ = complex(1<<s, a4) // ERROR "non-integer|shift of type float64" 186 _ = complex(1<<s, b4) // ERROR "invalid|non-integer|" 187 188 var m1 map[int]string 189 delete(m1, 1<<s) 190 delete(m1, 1.<<s) 191 delete(m1, 1.1<<s) // ERROR "truncated|shift of type float64" 192 193 var m2 map[float32]string 194 delete(m2, 1<<s) // ERROR "invalid|cannot use 1 << s as type float32" 195 delete(m2, 1.<<s) // ERROR "invalid|cannot use 1 << s as type float32" 196 delete(m2, 1.1<<s) // ERROR "invalid|cannot use 1.1 << s as type float32" 197 } 198 199 // shifts of shifts 200 func _() { 201 var s uint 202 _ = 1 << (1 << s) 203 _ = 1 << (1. << s) 204 _ = 1 << (1.1 << s) // ERROR "non-integer|truncated" 205 _ = 1. << (1 << s) // ERROR "non-integer|shift of type float64" 206 _ = 1. << (1. << s) // ERROR "non-integer|shift of type float64" 207 _ = 1.1 << (1.1 << s) // ERROR "invalid|non-integer|truncated" 208 209 _ = (1 << s) << (1 << s) 210 _ = (1 << s) << (1. << s) 211 _ = (1 << s) << (1.1 << s) // ERROR "truncated" 212 _ = (1. << s) << (1 << s) // ERROR "non-integer|shift of type float64" 213 _ = (1. << s) << (1. << s) // ERROR "non-integer|shift of type float64" 214 _ = (1.1 << s) << (1.1 << s) // ERROR "invalid|non-integer|truncated" 215 216 var x int 217 x = 1 << (1 << s) 218 x = 1 << (1. << s) 219 x = 1 << (1.1 << s) // ERROR "truncated" 220 x = 1. << (1 << s) 221 x = 1. << (1. << s) 222 x = 1.1 << (1.1 << s) // ERROR "truncated" 223 224 x = (1 << s) << (1 << s) 225 x = (1 << s) << (1. << s) 226 x = (1 << s) << (1.1 << s) // ERROR "truncated" 227 x = (1. << s) << (1 << s) 228 x = (1. << s) << (1. << s) 229 x = (1.1 << s) << (1.1 << s) // ERROR "truncated" 230 231 var y float32 232 y = 1 << (1 << s) // ERROR "non-integer|type float32" 233 y = 1 << (1. << s) // ERROR "non-integer|type float32" 234 y = 1 << (1.1 << s) // ERROR "invalid|truncated|float32" 235 y = 1. << (1 << s) // ERROR "non-integer|type float32" 236 y = 1. << (1. << s) // ERROR "non-integer|type float32" 237 y = 1.1 << (1.1 << s) // ERROR "invalid|truncated|float32" 238 239 var z complex128 240 z = (1 << s) << (1 << s) // ERROR "non-integer|type complex128" 241 z = (1 << s) << (1. << s) // ERROR "non-integer|type complex128" 242 z = (1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128" 243 z = (1. << s) << (1 << s) // ERROR "non-integer|type complex128" 244 z = (1. << s) << (1. << s) // ERROR "non-integer|type complex128" 245 z = (1.1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128" 246 247 _, _, _ = x, y, z 248 } 249
