From ccd992355df7192993c666236047820244914598 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Tue, 16 Apr 2024 21:19:13 +0200 Subject: Adding upstream version 1.21.8. Signed-off-by: Daniel Baumann --- test/prove_constant_folding.go | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 test/prove_constant_folding.go (limited to 'test/prove_constant_folding.go') diff --git a/test/prove_constant_folding.go b/test/prove_constant_folding.go new file mode 100644 index 0000000..d4bdb20 --- /dev/null +++ b/test/prove_constant_folding.go @@ -0,0 +1,32 @@ +// +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 +} -- cgit v1.2.3