blob: dedf2bd8d355fbbf9cb6b6d08ff76427df3be4b1 [file] [log] [blame]
Russ Cox0b477ef2012-02-16 23:48:57 -05001// errorcheck
Russ Coxd97bbab2010-04-19 09:21:51 -07002
3// Copyright 2010 The Go Authors. All rights reserved.
4// Use of this source code is governed by a BSD-style
5// license that can be found in the LICENSE file.
6
Rob Pikefc0dc042012-02-19 13:19:43 +11007// Verify that incorrect invocations of the complex predeclared function are detected.
8// Does not compile.
9
Russ Coxd97bbab2010-04-19 09:21:51 -070010package main
11
Rémy Oudompheng401e0fe2013-03-11 22:55:14 +010012type (
13 Float32 float32
14 Float64 float64
15 Complex64 complex64
16 Complex128 complex128
17)
18
Russ Coxd97bbab2010-04-19 09:21:51 -070019var (
Russ Coxd97bbab2010-04-19 09:21:51 -070020 f32 float32
21 f64 float64
Rémy Oudompheng401e0fe2013-03-11 22:55:14 +010022 F32 Float32
23 F64 Float64
Russ Coxd97bbab2010-04-19 09:21:51 -070024
Russ Coxf2b5a072011-01-19 23:09:00 -050025 c64 complex64
Russ Coxd97bbab2010-04-19 09:21:51 -070026 c128 complex128
Rémy Oudompheng401e0fe2013-03-11 22:55:14 +010027 C64 Complex64
28 C128 Complex128
Russ Coxd97bbab2010-04-19 09:21:51 -070029)
Russ Coxf2b5a072011-01-19 23:09:00 -050030
Alberto Donizetti1737aef2017-04-22 15:28:58 +020031func F1() int {
32 return 1
33}
34
35func F3() (int, int, int) {
36 return 1, 2, 3
37}
38
Russ Coxd97bbab2010-04-19 09:21:51 -070039func main() {
40 // ok
Russ Coxf2b5a072011-01-19 23:09:00 -050041 c64 = complex(f32, f32)
42 c128 = complex(f64, f64)
Russ Coxd97bbab2010-04-19 09:21:51 -070043
Russ Coxf2b5a072011-01-19 23:09:00 -050044 _ = complex128(0) // ok
45 _ = complex(f32, f64) // ERROR "complex"
46 _ = complex(f64, f32) // ERROR "complex"
Rémy Oudompheng401e0fe2013-03-11 22:55:14 +010047 _ = complex(f32, F32) // ERROR "complex"
48 _ = complex(F32, f32) // ERROR "complex"
49 _ = complex(f64, F64) // ERROR "complex"
50 _ = complex(F64, f64) // ERROR "complex"
51
Alberto Donizetti1737aef2017-04-22 15:28:58 +020052 _ = complex(F1()) // ERROR "expects two arguments.*returns 1"
53 _ = complex(F3()) // ERROR "expects two arguments.*returns 3"
54
55 _ = complex() // ERROR "missing argument"
56
Rémy Oudompheng401e0fe2013-03-11 22:55:14 +010057 c128 = complex(f32, f32) // ERROR "cannot use"
58 c64 = complex(f64, f64) // ERROR "cannot use"
59
60 c64 = complex(1.0, 2.0) // ok, constant is untyped
61 c128 = complex(1.0, 2.0)
62 C64 = complex(1.0, 2.0)
63 C128 = complex(1.0, 2.0)
64
65 C64 = complex(f32, f32) // ERROR "cannot use"
66 C128 = complex(f64, f64) // ERROR "cannot use"
Alberto Donizetti1737aef2017-04-22 15:28:58 +020067
Russ Coxd97bbab2010-04-19 09:21:51 -070068}