From bb34185432e55fd6ccfbab6dffaf483225abeb03 Mon Sep 17 00:00:00 2001
From: Robert Griesemer <gri@golang.org>
Date: Mon, 29 Jul 2013 13:07:46 -0700
Subject: [PATCH] go.tools/go/types: more implicit conversion tests

Also: Fixed grammar in selection.go comment.

R=adonovan
CC=golang-dev
https://golang.org/cl/11962043
---
 go/types/selection.go        |  4 ++--
 go/types/testdata/const1.src | 38 +++++++++++++++++++++++++++++++++++-
 2 files changed, 39 insertions(+), 3 deletions(-)

diff --git a/go/types/selection.go b/go/types/selection.go
index fb71d47a..8d4f1582 100644
--- a/go/types/selection.go
+++ b/go/types/selection.go
@@ -76,8 +76,8 @@ func (s *Selection) Obj() Object { return s.obj }
 func (s *Selection) Type() Type {
 	switch s.kind {
 	case MethodVal:
-		// The type of x.f is a method with its receiver type to the
-		// type of x.
+		// The type of x.f is a method with its receiver type set
+		// to the type of x.
 		sig := *s.obj.(*Func).typ.(*Signature)
 		recv := *sig.recv
 		recv.typ = s.recv
diff --git a/go/types/testdata/const1.src b/go/types/testdata/const1.src
index e528cb07..0232f452 100644
--- a/go/types/testdata/const1.src
+++ b/go/types/testdata/const1.src
@@ -6,13 +6,22 @@
 
 package const1
 
-// TODO(gri) add int/uint/uintptr sizes and tests
+const(
+	mi = ^int(0)
+	mu = ^uint(0)
+	mp = ^uintptr(0)
+
+	logSizeofInt     = uint(mi>>8&1 + mi>>16&1 + mi>>32&1)
+	logSizeofUint    = uint(mu>>8&1 + mu>>16&1 + mu>>32&1)
+	logSizeofUintptr = uint(mp>>8&1 + mp>>16&1 + mp>>32&1)
+)
 
 const (
 	minInt8 = -1<<(8<<iota - 1)
 	minInt16
 	minInt32
 	minInt64
+	minInt = -1<<(8<<logSizeofInt - 1)
 )
 
 const (
@@ -20,6 +29,7 @@ const (
 	maxInt16
 	maxInt32
 	maxInt64
+	maxInt = 1<<(8<<logSizeofInt - 1) - 1
 )
 
 const (
@@ -27,6 +37,8 @@ const (
 	maxUint16
 	maxUint32
 	maxUint64
+	maxUint    = 1<<(8<<logSizeofUint) - 1
+	maxUintptr = 1<<(8<<logSizeofUintptr) - 1
 )
 
 const (
@@ -76,6 +88,14 @@ var (
 	_ int64 = smallestFloat64 /* ERROR "overflows" */
 )
 
+var (
+	_ int = minInt /* ERROR "overflows" */ - 1
+	_ int = minInt
+	_ int = maxInt
+	_ int = maxInt /* ERROR "overflows" */ + 1
+	_ int = smallestFloat64 /* ERROR "overflows" */
+)
+
 var (
 	_ uint8 = 0 /* ERROR "overflows" */ - 1
 	_ uint8 = 0
@@ -108,6 +128,22 @@ var (
 	_ uint64 = smallestFloat64 /* ERROR "overflows" */
 )
 
+var (
+	_ uint = 0 /* ERROR "overflows" */ - 1
+	_ uint = 0
+	_ uint = maxUint
+	_ uint = maxUint /* ERROR "overflows" */ + 1
+	_ uint = smallestFloat64 /* ERROR "overflows" */
+)
+
+var (
+	_ uintptr = 0 /* ERROR "overflows" */ - 1
+	_ uintptr = 0
+	_ uintptr = maxUintptr
+	_ uintptr = maxUintptr /* ERROR "overflows" */ + 1
+	_ uintptr = smallestFloat64 /* ERROR "overflows" */
+)
+
 var (
 	_ float32 = minInt64
 	_ float64 = minInt64