mirror of
https://github.com/golang/go
synced 2024-09-29 04:24:36 -06:00
3d6467824c
The gofrontend code sees that the denominator is not zero, so it computes the values. Dividing zero by a non-zero value produces zero. The language spec doesn't require any of these cases to report an error, so make the errors compiler-specific. Change-Id: I5ed759a3121e38b937744d32250adcbdf2c4d3c2 Reviewed-on: https://go-review.googlesource.com/c/go/+/278117 Trust: Ian Lance Taylor <iant@golang.org> Run-TryBot: Ian Lance Taylor <iant@golang.org> TryBot-Result: Go Bot <gobot@golang.org> Reviewed-by: Than McIntosh <thanm@google.com>
41 lines
1.2 KiB
Go
41 lines
1.2 KiB
Go
// errorcheck
|
|
|
|
// Copyright 2017 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.
|
|
|
|
// Issue 11674: cmd/compile: does not diagnose constant division by
|
|
// zero
|
|
|
|
package p
|
|
|
|
const x complex64 = 0
|
|
const y complex128 = 0
|
|
|
|
var _ = x / 1e-20
|
|
var _ = x / 1e-50 // GC_ERROR "complex division by zero"
|
|
var _ = x / 1e-1000 // GC_ERROR "complex division by zero"
|
|
var _ = x / 1e-20i
|
|
var _ = x / 1e-50i // GC_ERROR "complex division by zero"
|
|
var _ = x / 1e-1000i // GC_ERROR "complex division by zero"
|
|
|
|
var _ = x / 1e-45 // smallest positive float32
|
|
|
|
var _ = x / (1e-20 + 1e-20i)
|
|
var _ = x / (1e-50 + 1e-20i)
|
|
var _ = x / (1e-20 + 1e-50i)
|
|
var _ = x / (1e-50 + 1e-50i) // GC_ERROR "complex division by zero"
|
|
var _ = x / (1e-1000 + 1e-1000i) // GC_ERROR "complex division by zero"
|
|
|
|
var _ = y / 1e-50
|
|
var _ = y / 1e-1000 // GC_ERROR "complex division by zero"
|
|
var _ = y / 1e-50i
|
|
var _ = y / 1e-1000i // GC_ERROR "complex division by zero"
|
|
|
|
var _ = y / 5e-324 // smallest positive float64
|
|
|
|
var _ = y / (1e-50 + 1e-50)
|
|
var _ = y / (1e-1000 + 1e-50i)
|
|
var _ = y / (1e-50 + 1e-1000i)
|
|
var _ = y / (1e-1000 + 1e-1000i) // GC_ERROR "complex division by zero"
|