2 // errorcheck -0 -d=ssa/prove/debug=2
4 // Copyright 2022 The Go Authors. All rights reserved.
5 // Use of this source code is governed by a BSD-style
6 // license that can be found in the LICENSE file.
12 return x // ERROR "Proved.+is constant 20$"
16 return x + 5 // ERROR "Proved.+is constant 0$"
22 func f0u(x uint) uint {
24 return x // ERROR "Proved.+is constant 20$"
28 return x + 5 // ERROR "Proved.+is constant 0$"