mirror of
https://github.com/golang/go
synced 2024-11-27 00:31:23 -07:00
33 lines
602 B
Go
33 lines
602 B
Go
|
// +build amd64
|
||
|
|
// errorcheck -0 -d=ssa/prove/debug=2
|
||
|
|
|
||
|
|
// Copyright 2022 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 f0i(x int) int {
|
||
|
|
if x == 20 {
|
||
|
|
return x // ERROR "Proved.+is constant 20$"
|
||
|
|
}
|
||
|
|
|
||
|
|
if (x + 20) == 20 {
|
||
|
|
return x + 5 // ERROR "Proved.+is constant 0$"
|
||
|
|
}
|
||
|
|
|
||
|
|
return x / 2
|
||
|
|
}
|
||
|
|
|
||
|
|
func f0u(x uint) uint {
|
||
|
|
if x == 20 {
|
||
|
|
return x // ERROR "Proved.+is constant 20$"
|
||
|
|
}
|
||
|
|
|
||
|
|
if (x + 20) == 20 {
|
||
|
|
return x + 5 // ERROR "Proved.+is constant 0$"
|
||
|
|
}
|
||
|
|
|
||
|
|
return x / 2
|
||
|
|
}
|