1 // RUN: clang-cc -fsyntax-only -verify %s 2 3 void f(int i, int j, int k = 3); 4 void f(int i, int j, int k); 5 void f(int i, int j = 2, int k); 6 void f(int i, int j, int k); 7 void f(int i = 1, int j, int k); 8 void f(int i, int j, int k); 9 10 void i() 11 { 12 f(); 13 f(0); 14 f(0, 1); 15 f(0, 1, 2); 16 } 17 18 19 int f1(int i, int i, int j) { // expected-error {{redefinition of parameter 'i'}} 20 i = 17; 21 return j; 22 } 23 24 int x; 25 void g(int x, int y = x); // expected-error {{default argument references parameter 'x'}} 26 27 void 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 33 void g2(int x, int y, int z = x + y); // expected-error {{default argument references parameter 'x'}} expected-error {{default argument references parameter 'y'}} 34 35 void 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 41 class 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 50 class 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 }; 57 void C::f(int i = 3) // expected-error{{redefinition of default argument}} 58 { } 59 60 void C::g(int i = 88, int j) {} 61 62 void C::h() { 63 g(); // okay 64 } 65 66 // C++ [dcl.fct.default]p9 67 struct 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 91 int Y::mem3(int i = b) { return i; } // OK; use X::b 92 93 int 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. 99 class Z { 100 public: 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 113 void test_Z(const Z& z) { 114 Z z2(z); // expected-error{{no matching constructor for initialization of 'z2'}} 115 } 116 117 struct 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