aboutsummaryrefslogtreecommitdiff
path: root/test/fixedbugs/issue41711.go
blob: 4e09440ba59801894ef4c90a84eb738c3c4c9b0e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// compile -d=ssa/check/on

// Copyright 2020 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.

package main

func f() uint32 {
	s := "food"
	x := uint32(s[0]) + uint32(s[1])<<8 + uint32(s[2])<<16 + uint32(s[3])<<24
	// x is a constant, but that's not known until lowering.
	// shifting it by 8 moves the high byte up into the high 32 bits of
	// a 64-bit word. That word is not properly sign-extended by the faulty
	// rule, which causes the compiler to fail.
	return x << 8
}