Source file test/shift1.go

     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"
    22  )
    23  
    24  // non-constant shift expressions
    25  var (
    26  	e1       = g(2.0 << s) // ERROR "invalid|shift of non-integer operand"
    27  	f1       = h(2 << s)   // ERROR "invalid"
    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  
    70  		_, _, _, _, _, _, _, _, _, _ = j, k, m, n, o, u, u1, u2, v, w
    71  	)
    72  
    73  	// non constants arguments trigger a different path
    74  	f2 := 1.2
    75  	s2 := "hi"
    76  	_ = f2 << 2 // ERROR "shift of type float64|non-integer"
    77  	_ = s2 << 2 // ERROR "shift of type string|non-integer"
    78  }
    79  
    80  // shifts in comparisons w/ untyped operands
    81  var (
    82  	_ = 1<<s == 1
    83  	_ = 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"
    86  
    87  	_ = 1<<s+1 == 1
    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|shift of type float64"
    94  	_ = 1.<<s+1. == 1. // ERROR "invalid|non-integer|shift of type float64"
    95  
    96  	_ = 1<<s == 1<<s
    97  	_ = 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"
   100  
   101  	_ = 1<<s+1<<s == 1
   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|shift of type float64"
   108  	_ = 1.<<s+1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64"
   109  
   110  	_ = 1<<s+1<<s == 1<<s+1<<s
   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|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"
   126  )
   127  
   128  // shifts in comparisons w/ typed operands
   129  var (
   130  	x int
   131  	_ = 1<<s == x
   132  	_ = 1.<<s == x
   133  	_ = 1.1<<s == x // ERROR "truncated"
   134  
   135  	_ = 1<<s+x == 1
   136  	_ = 1<<s+x == 1.
   137  	_ = 1<<s+x == 1.1 // ERROR "truncated"
   138  	_ = 1.<<s+x == 1
   139  	_ = 1.<<s+x == 1.
   140  	_ = 1.<<s+x == 1.1  // ERROR "truncated"
   141  	_ = 1.1<<s+x == 1   // ERROR "truncated"
   142  	_ = 1.1<<s+x == 1.  // ERROR "truncated"
   143  	_ = 1.1<<s+x == 1.1 // ERROR "truncated"
   144  
   145  	_ = 1<<s == x<<s
   146  	_ = 1.<<s == x<<s
   147  	_ = 1.1<<s == x<<s // ERROR "truncated"
   148  )
   149  
   150  // shifts as operands in non-arithmetic operations and as arguments
   151  func _() {
   152  	var s uint
   153  	var a []int
   154  	_ = a[1<<s]
   155  	_ = a[1.]
   156  	_ = a[1.<<s]
   157  	_ = a[1.1<<s] // ERROR "integer|shift of type float64"
   158  
   159  	_ = make([]int, 1)
   160  	_ = make([]int, 1.)
   161  	_ = make([]int, 1.<<s)
   162  	_ = make([]int, 1.1<<s) // ERROR "non-integer|truncated"
   163  
   164  	_ = float32(1)
   165  	_ = float32(1 << s) // ERROR "non-integer|shift of type float32"
   166  	_ = float32(1.)
   167  	_ = float32(1. << s)  // ERROR "non-integer|shift of type float32"
   168  	_ = float32(1.1 << s) // ERROR "non-integer|shift of type float32"
   169  
   170  	_ = append(a, 1<<s)
   171  	_ = append(a, 1.<<s)
   172  	_ = append(a, 1.1<<s) // ERROR "truncated"
   173  
   174  	var b []float32
   175  	_ = append(b, 1<<s)   // ERROR "non-integer|type float32"
   176  	_ = append(b, 1.<<s)  // ERROR "non-integer|type float32"
   177  	_ = append(b, 1.1<<s) // ERROR "non-integer|type float32"
   178  
   179  	_ = complex(1.<<s, 0)  // ERROR "non-integer|shift of type float64"
   180  	_ = complex(1.1<<s, 0) // ERROR "non-integer|shift of type float64"
   181  	_ = complex(0, 1.<<s)  // ERROR "non-integer|shift of type float64"
   182  	_ = complex(0, 1.1<<s) // ERROR "non-integer|shift of type float64"
   183  
   184  	var a4 float64
   185  	var b4 int
   186  	_ = complex(1<<s, a4) // ERROR "non-integer|shift of type float64"
   187  	_ = complex(1<<s, b4) // ERROR "invalid|non-integer|"
   188  
   189  	var m1 map[int]string
   190  	delete(m1, 1<<s)
   191  	delete(m1, 1.<<s)
   192  	delete(m1, 1.1<<s) // ERROR "truncated|shift of type float64"
   193  
   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
   201  func _() {
   202  	var s uint
   203  	_ = 1 << (1 << s)
   204  	_ = 1 << (1. << s)
   205  	_ = 1 << (1.1 << s)   // ERROR "non-integer|truncated"
   206  	_ = 1. << (1 << s)    // ERROR "non-integer|shift of type float64"
   207  	_ = 1. << (1. << s)   // ERROR "non-integer|shift of type float64"
   208  	_ = 1.1 << (1.1 << s) // ERROR "invalid|non-integer|truncated"
   209  
   210  	_ = (1 << s) << (1 << s)
   211  	_ = (1 << s) << (1. << s)
   212  	_ = (1 << s) << (1.1 << s)   // ERROR "truncated"
   213  	_ = (1. << s) << (1 << s)    // ERROR "non-integer|shift of type float64"
   214  	_ = (1. << s) << (1. << s)   // ERROR "non-integer|shift of type float64"
   215  	_ = (1.1 << s) << (1.1 << s) // ERROR "invalid|non-integer|truncated"
   216  
   217  	var x int
   218  	x = 1 << (1 << s)
   219  	x = 1 << (1. << s)
   220  	x = 1 << (1.1 << s) // ERROR "truncated"
   221  	x = 1. << (1 << s)
   222  	x = 1. << (1. << s)
   223  	x = 1.1 << (1.1 << s) // ERROR "truncated"
   224  
   225  	x = (1 << s) << (1 << s)
   226  	x = (1 << s) << (1. << s)
   227  	x = (1 << s) << (1.1 << s) // ERROR "truncated"
   228  	x = (1. << s) << (1 << s)
   229  	x = (1. << s) << (1. << s)
   230  	x = (1.1 << s) << (1.1 << s) // ERROR "truncated"
   231  
   232  	var y float32
   233  	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"
   239  
   240  	var z complex128
   241  	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"
   244  	z = (1. << s) << (1 << s)    // ERROR "non-integer|type complex128"
   245  	z = (1. << s) << (1. << s)   // ERROR "non-integer|type complex128"
   246  	z = (1.1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128"
   247  
   248  	_, _, _ = x, y, z
   249  }
   250  

View as plain text