default2.cpp revision d7d5f0223bd30dfd618762349c6209dd1d5ea3e6 
1// RUN: clang-cc -fsyntax-only -verify %s
2
3void f(int i, int j, int k = 3);
4void f(int i, int j, int k);
5void f(int i, int j = 2, int k);
6void f(int i, int j, int k);
7void f(int i = 1, int j, int k);
8void f(int i, int j, int k);
9
10void i()
11{
12  f();
13  f(0);
14  f(0, 1);
15  f(0, 1, 2);
16}
17
18
19int f1(int i, int i, int j) { // expected-error {{redefinition of parameter 'i'}}
20  i = 17;
21  return j;
22}
23
24int x;
25void g(int x, int y = x); // expected-error {{default argument references parameter 'x'}}
26
27void h()
28{
29   int i;
30   extern void h2(int x = sizeof(i)); // expected-error {{default argument references local variable 'i' of enclosing function}}
31}
32
33void g2(int x, int y, int z = x + y); // expected-error {{default argument references parameter 'x'}} expected-error {{default argument references parameter 'y'}}
34
35void nondecl(int (*f)(int x = 5)) // {expected-error {{default arguments can only be specified}}}
36{
37  void (*f2)(int = 17)  // {expected-error {{default arguments can only be specified}}}
38    = (void (*)(int = 42))f; // {expected-error {{default arguments can only be specified}}}
39}
40
41class X {
42  void f(X* x = this); // expected-error{{invalid use of 'this' outside of a nonstatic member function}}
43
44  void g() {
45    int f(X* x = this); // expected-error{{default argument references 'this'}}
46  }
47};
48
49// C++ [dcl.fct.default]p6
50class C {
51  static int x;
52  void f(int i = 3); // expected-note{{previous definition is here}}
53  void g(int i, int j = x);
54
55  void h();
56};
57void C::f(int i = 3) // expected-error{{redefinition of default argument}}
58{ }
59
60void C::g(int i = 88, int j) {}
61
62void C::h() {
63  g(); // okay
64}
65
66// C++ [dcl.fct.default]p9
67struct Y {
68  int a;
69  int mem1(int i = a); // expected-error{{invalid use of nonstatic data member 'a'}}
70  int mem2(int i = b); // OK; use Y::b
71  int mem3(int i);
72  int mem4(int i);
73
74  struct Nested {
75    int mem5(int i = b, // OK; use Y::b
76             int j = c, // OK; use Y::Nested::c
77             int k = j, // expected-error{{default argument references parameter 'j'}}
78             int l = a,  // expected-error{{invalid use of nonstatic data member 'a'}}
79             Nested* self = this, // expected-error{{invalid use of 'this' outside of a nonstatic member function}}
80             int m); // expected-error{{missing default argument on parameter 'm'}}
81    static int c;
82  };
83
84  static int b;
85
86  int (*f)(int = 17); // expected-error{{default arguments can only be specified for parameters in a function declaration}}
87
88  void mem8(int (*fp)(int) = (int (*)(int = 17))0); // expected-error{{default arguments can only be specified for parameters in a function declaration}}
89};
90
91int Y::mem3(int i = b) { return i; } // OK; use X::b
92
93int Y::mem4(int i = a) // expected-error{{invalid use of nonstatic data member 'a'}}
94{ return i; }
95
96
97// Try to verify that default arguments interact properly with copy
98// constructors.
99class Z {
100public:
101  Z(Z&, int i = 17); // expected-note 2 {{candidate function}}
102
103  void f(Z& z) {
104    Z z2;    // expected-error{{no matching constructor for initialization}}
105    Z z3(z);
106  }
107
108  void test_Z(const Z& z) {
109    Z z2(z); // expected-error{{no matching constructor for initialization of 'z2'}}
110  }
111};
112
113void test_Z(const Z& z) {
114  Z z2(z); // expected-error{{no matching constructor for initialization of 'z2'}}
115}
116
117struct ZZ {
118  void f(ZZ z = g()); // expected-error{{no matching constructor for initialization}}
119
120  static ZZ g(int = 17);
121
122  ZZ(ZZ&, int = 17); // expected-note{{candidate function}}
123};
124