1 files changed, 34 insertions, 0 deletions
diff --git a/test/makemap.go b/test/makemap.go
new file mode 100644
index 0000000..f63e5b4
--- /dev/null
+++ b/test/makemap.go
@@ -0,0 +1,34 @@
+// 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.
+
+// Ensure that typed non-integer, negative and too large
+// values are not accepted as size argument in make for
+// maps.
+
+package main
+
+type T map[int]int
+
+var sink T
+
+func main() {
+	sink = make(T, -1)            // ERROR "negative size argument in make.*|must not be negative"
+	sink = make(T, uint64(1<<63)) // ERROR "size argument too large in make.*|overflows int"
+
+	// Test that errors are emitted at call sites, not const declarations
+	const x = -1
+	sink = make(T, x) // ERROR "negative size argument in make.*|must not be negative"
+	const y = uint64(1 << 63)
+	sink = make(T, y) // ERROR "size argument too large in make.*|overflows int"
+
+	sink = make(T, 0.5) // ERROR "constant 0.5 truncated to integer|truncated to int"
+	sink = make(T, 1.0)
+	sink = make(T, float32(1.0)) // ERROR "non-integer size argument in make.*|must be integer"
+	sink = make(T, float64(1.0)) // ERROR "non-integer size argument in make.*|must be integer"
+	sink = make(T, 1+0i)
+	sink = make(T, complex64(1+0i))  // ERROR "non-integer size argument in make.*|must be integer"
+	sink = make(T, complex128(1+0i)) // ERROR "non-integer size argument in make.*|must be integer"
+}