modernc.org/gc@v1.0.1-0.20240304020402-f0dba7c97c2b/testdata/errchk/test/shift1.go (about)

     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  }