From 43a123c1ae6613b3efeed291fa552ecd909d3acf Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Tue, 16 Apr 2024 21:23:18 +0200 Subject: Adding upstream version 1.20.14. Signed-off-by: Daniel Baumann --- test/indirect1.go | 72 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 72 insertions(+) create mode 100644 test/indirect1.go (limited to 'test/indirect1.go') diff --git a/test/indirect1.go b/test/indirect1.go new file mode 100644 index 0000000..51da4cc --- /dev/null +++ b/test/indirect1.go @@ -0,0 +1,72 @@ +// errorcheck + +// Copyright 2009 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. + +// Verify that illegal uses of indirection are caught by the compiler. +// Does not compile. + +package main + +var m0 map[string]int +var m1 *map[string]int +var m2 *map[string]int = &m0 +var m3 map[string]int = map[string]int{"a": 1} +var m4 *map[string]int = &m3 + +var s0 string +var s1 *string +var s2 *string = &s0 +var s3 string = "a" +var s4 *string = &s3 + +var a0 [10]int +var a1 *[10]int +var a2 *[10]int = &a0 + +var b0 []int +var b1 *[]int +var b2 *[]int = &b0 +var b3 []int = []int{1, 2, 3} +var b4 *[]int = &b3 + +func f() { + // this is spaced funny so that + // the compiler will print a different + // line number for each len call when + // it decides there are type errors. + x := + len(m0)+ + len(m1)+ // ERROR "illegal|invalid|must be" + len(m2)+ // ERROR "illegal|invalid|must be" + len(m3)+ + len(m4)+ // ERROR "illegal|invalid|must be" + + len(s0)+ + len(s1)+ // ERROR "illegal|invalid|must be" + len(s2)+ // ERROR "illegal|invalid|must be" + len(s3)+ + len(s4)+ // ERROR "illegal|invalid|must be" + + len(a0)+ + len(a1)+ + len(a2)+ + + cap(a0)+ + cap(a1)+ + cap(a2)+ + + len(b0)+ + len(b1)+ // ERROR "illegal|invalid|must be" + len(b2)+ // ERROR "illegal|invalid|must be" + len(b3)+ + len(b4)+ // ERROR "illegal|invalid|must be" + + cap(b0)+ + cap(b1)+ // ERROR "illegal|invalid|must be" + cap(b2)+ // ERROR "illegal|invalid|must be" + cap(b3)+ + cap(b4) // ERROR "illegal|invalid|must be" + _ = x +} -- cgit v1.2.3