cmd/compile: stop leaking 'any' type into user package

The new check corresponds to the (etype != TANY || Debug['A'] != 0)
that was lost in golang.org/cl/19936.

Fixes #14652.

Change-Id: Iec3788ff02529b3b0f0d4dd92ec9f3ef20aec849
Reviewed-on: https://go-review.googlesource.com/20271
Reviewed-by: Ian Lance Taylor <iant@golang.org>

diff --git a/src/cmd/compile/internal/gc/lex.go b/src/cmd/compile/internal/gc/lex.go
index 3fa876ad40f6574004f9e16549915239f4f8df4f..81bd9461ca2554decc1cfe1c6a928b35123bbcfc 100644 (file)
--- a/src/cmd/compile/internal/gc/lex.go
+++ b/src/cmd/compile/internal/gc/lex.go
@@ -2264,7 +2264,7 @@ func lexinit1() {
 
 func lexfini() {
        for _, s := range builtinpkg.Syms {
-               if s.Def == nil {
+               if s.Def == nil || (s.Name == "any" && Debug['A'] == 0) {
                        continue
                }
                s1 := Lookup(s.Name)

diff --git a/test/fixedbugs/issue14652.go b/test/fixedbugs/issue14652.go
new file mode 100644 (file)
index 0000000..b030aee
--- /dev/null
+++ b/test/fixedbugs/issue14652.go
@@ -0,0 +1,9 @@
+// errorcheck
+
+// 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 p
+
+var x any // ERROR "undefined: any"