From 758447cdc94e4ae0b5d26a784a930403a633cd03 Mon Sep 17 00:00:00 2001 From: Brad Fitzpatrick Date: Thu, 31 Mar 2016 13:51:17 +1100 Subject: [PATCH] test/fixedbugs: add test for divide by zero being optimized away This only tests amd64 because it's currently broken on non-SSA backends. Fixes #8613 Change-Id: I6bc501c81c395e533bb9c7335789750e0c6b7a8f Reviewed-on: https://go-review.googlesource.com/21325 Reviewed-by: Keith Randall Run-TryBot: Brad Fitzpatrick TryBot-Result: Gobot Gobot --- test/fixedbugs/issue8613.go | 39 +++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 test/fixedbugs/issue8613.go diff --git a/test/fixedbugs/issue8613.go b/test/fixedbugs/issue8613.go new file mode 100644 index 0000000000..d394662d25 --- /dev/null +++ b/test/fixedbugs/issue8613.go @@ -0,0 +1,39 @@ +// +build amd64 +// run + +// Copyright 2016 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 + +var out int +var zero int + +func main() { + wantPanic("test1", func() { + out = 1 / zero + }) + wantPanic("test2", func() { + _ = 1 / zero + }) + wantPanic("test3", func() { + v := 0 + _ = 1 / v + }) + wantPanic("test4", func() { divby(0) }) +} + +func wantPanic(test string, fn func()) { + defer func() { + if e := recover(); e == nil { + panic(test + ": expected panic") + } + }() + fn() +} + +//go:noinline +func divby(v int) { + _ = 1 / v +} -- 2.48.1