overloaded-operator.cpp revision 644be853b87cae94fcabaf309a5e482a8c291fb9
1d7d5f0223bd30dfd618762349c6209dd1d5ea3e6Daniel Dunbar// RUN: clang-cc -fsyntax-only -verify %s 2eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregorclass X { }; 3eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor 4eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas GregorX operator+(X, X); 5eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor 6eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregorvoid f(X x) { 7eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor x = x + x; 8eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor} 9eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor 10eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregorstruct Y; 11eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregorstruct Z; 12eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor 13eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregorstruct Y { 14eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor Y(const Z&); 15eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor}; 16eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor 17eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregorstruct Z { 18eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor Z(const Y&); 19eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor}; 20eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor 21eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas GregorY operator+(Y, Y); 22eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregorbool operator-(Y, Y); // expected-note{{candidate function}} 23eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregorbool operator-(Z, Z); // expected-note{{candidate function}} 24eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor 25eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregorvoid g(Y y, Z z) { 26eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor y = y + z; 27eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor bool b = y - z; // expected-error{{use of overloaded operator '-' is ambiguous; candidates are:}} 28eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor} 29eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor 3096176b3575823ea996c6140380dd17d9240c9766Douglas Gregorstruct A { 313307475eb0dd6e5d88be9392ea8247d0b6b812dfDouglas Gregor bool operator==(Z&); // expected-note 2{{candidate function}} 3296176b3575823ea996c6140380dd17d9240c9766Douglas Gregor}; 3396176b3575823ea996c6140380dd17d9240c9766Douglas Gregor 3496176b3575823ea996c6140380dd17d9240c9766Douglas GregorA make_A(); 35eaebc75ef6ff21fbc9f25ab4175cba465e4e0e43Douglas Gregor 363307475eb0dd6e5d88be9392ea8247d0b6b812dfDouglas Gregorbool operator==(A&, Z&); // expected-note 2{{candidate function}} 3796176b3575823ea996c6140380dd17d9240c9766Douglas Gregor 3896176b3575823ea996c6140380dd17d9240c9766Douglas Gregorvoid h(A a, const A ac, Z z) { 3996176b3575823ea996c6140380dd17d9240c9766Douglas Gregor make_A() == z; 4096176b3575823ea996c6140380dd17d9240c9766Douglas Gregor a == z; // expected-error{{use of overloaded operator '==' is ambiguous; candidates are:}} 4196176b3575823ea996c6140380dd17d9240c9766Douglas Gregor ac == z; // expected-error{{invalid operands to binary expression ('struct A const' and 'struct Z')}} 4296176b3575823ea996c6140380dd17d9240c9766Douglas Gregor} 4396176b3575823ea996c6140380dd17d9240c9766Douglas Gregor 4496176b3575823ea996c6140380dd17d9240c9766Douglas Gregorstruct B { 4596176b3575823ea996c6140380dd17d9240c9766Douglas Gregor bool operator==(const B&) const; 4696176b3575823ea996c6140380dd17d9240c9766Douglas Gregor 4796176b3575823ea996c6140380dd17d9240c9766Douglas Gregor void test(Z z) { 4896176b3575823ea996c6140380dd17d9240c9766Douglas Gregor make_A() == z; 4996176b3575823ea996c6140380dd17d9240c9766Douglas Gregor } 5096176b3575823ea996c6140380dd17d9240c9766Douglas Gregor}; 51447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor 52447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregorenum Enum1 { }; 53447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregorenum Enum2 { }; 54447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor 55447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregorstruct E1 { 56447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor E1(Enum1) { } 57447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor}; 58447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor 59447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregorstruct E2 { 60447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor E2(Enum2); 61447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor}; 62447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor 63447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor// C++ [over.match.oper]p3 - enum restriction. 64447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregorfloat& operator==(E1, E2); 65447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor 66447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregorvoid enum_test(Enum1 enum1, Enum2 enum2, E1 e1, E2 e2) { 67447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor float &f1 = (e1 == e2); 68447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor float &f2 = (enum1 == e2); 69447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor float &f3 = (e1 == enum2); 70d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor float &f4 = (enum1 == enum2); // expected-error{{non-const lvalue reference to type 'float' cannot be initialized with a temporary of type 'bool'}} 71447b69e55e1098d8df46dd99f171bfaace9ff8a0Douglas Gregor} 7274253736184c0717a0649922551bf9d8b6815651Douglas Gregor 73644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl// PR5244 - Argument-dependent lookup would include the two operators below, 74644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl// which would break later assumptions and lead to a crash. 75644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redlclass pr5244_foo 76644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl{ 77644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl pr5244_foo(int); 78644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl pr5244_foo(char); 79644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl}; 80644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl 81644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redlbool operator==(const pr5244_foo& s1, const pr5244_foo& s2); 82644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redlbool operator==(char c, const pr5244_foo& s); 83644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl 84644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redlenum pr5244_bar 85644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl{ 86644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl pr5244_BAR 87644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl}; 88644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl 89644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redlclass pr5244_baz 90644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl{ 91644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl pr5244_bar quux; 92644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl}; 93644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl 94644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redlvoid pr5244_barbaz() 95644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl{ 96644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl pr5244_baz quuux; 97644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl (void)(pr5244_BAR == quuux.quux); 98644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl} 99644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl 100644be853b87cae94fcabaf309a5e482a8c291fb9Sebastian Redl 10174253736184c0717a0649922551bf9d8b6815651Douglas Gregor 10274253736184c0717a0649922551bf9d8b6815651Douglas Gregorstruct PostInc { 10374253736184c0717a0649922551bf9d8b6815651Douglas Gregor PostInc operator++(int); 10474253736184c0717a0649922551bf9d8b6815651Douglas Gregor PostInc& operator++(); 10574253736184c0717a0649922551bf9d8b6815651Douglas Gregor}; 10674253736184c0717a0649922551bf9d8b6815651Douglas Gregor 10774253736184c0717a0649922551bf9d8b6815651Douglas Gregorstruct PostDec { 10874253736184c0717a0649922551bf9d8b6815651Douglas Gregor PostDec operator--(int); 10974253736184c0717a0649922551bf9d8b6815651Douglas Gregor PostDec& operator--(); 11074253736184c0717a0649922551bf9d8b6815651Douglas Gregor}; 11174253736184c0717a0649922551bf9d8b6815651Douglas Gregor 11274253736184c0717a0649922551bf9d8b6815651Douglas Gregorvoid incdec_test(PostInc pi, PostDec pd) { 11374253736184c0717a0649922551bf9d8b6815651Douglas Gregor const PostInc& pi1 = pi++; 11474253736184c0717a0649922551bf9d8b6815651Douglas Gregor const PostDec& pd1 = pd--; 11574253736184c0717a0649922551bf9d8b6815651Douglas Gregor PostInc &pi2 = ++pi; 11674253736184c0717a0649922551bf9d8b6815651Douglas Gregor PostDec &pd2 = --pd; 11774253736184c0717a0649922551bf9d8b6815651Douglas Gregor} 11874253736184c0717a0649922551bf9d8b6815651Douglas Gregor 11974253736184c0717a0649922551bf9d8b6815651Douglas Gregorstruct SmartPtr { 12074253736184c0717a0649922551bf9d8b6815651Douglas Gregor int& operator*(); 1211ca50c3f541dd637063b9d186a7ea193e3440a48Douglas Gregor long& operator*() const volatile; 12274253736184c0717a0649922551bf9d8b6815651Douglas Gregor}; 12374253736184c0717a0649922551bf9d8b6815651Douglas Gregor 1241ca50c3f541dd637063b9d186a7ea193e3440a48Douglas Gregorvoid test_smartptr(SmartPtr ptr, const SmartPtr cptr, 1251ca50c3f541dd637063b9d186a7ea193e3440a48Douglas Gregor const volatile SmartPtr cvptr) { 12674253736184c0717a0649922551bf9d8b6815651Douglas Gregor int &ir = *ptr; 1271ca50c3f541dd637063b9d186a7ea193e3440a48Douglas Gregor long &lr = *cptr; 1281ca50c3f541dd637063b9d186a7ea193e3440a48Douglas Gregor long &lr2 = *cvptr; 12974253736184c0717a0649922551bf9d8b6815651Douglas Gregor} 130337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor 131337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor 132337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregorstruct ArrayLike { 133337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor int& operator[](int); 134337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor}; 135337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor 136337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregorvoid test_arraylike(ArrayLike a) { 137337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor int& ir = a[17]; 138337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor} 139337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor 140337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregorstruct SmartRef { 141337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor int* operator&(); 142337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor}; 143337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor 144337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregorvoid test_smartref(SmartRef r) { 145337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor int* ip = &r; 146337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor} 147337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor 148337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregorbool& operator,(X, Y); 149337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor 150337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregorvoid test_comma(X x, Y y) { 151337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor bool& b1 = (x, y); 152337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor X& xr = (x, x); 153337c6b9f5d502dc1c5acea628bf7bf9e828efc0eDouglas Gregor} 154f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor 155f9eb905197e44ed5634205512074993f6f40470dDouglas Gregorstruct Callable { 156f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor int& operator()(int, double = 2.71828); // expected-note{{candidate function}} 157f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor float& operator()(int, double, long, ...); // expected-note{{candidate function}} 158518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor 159518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor double& operator()(float); // expected-note{{candidate function}} 160518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor}; 161518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor 162518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregorstruct Callable2 { 163518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor int& operator()(int i = 0); 164518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor double& operator()(...) const; 165f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor}; 166f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor 167518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregorvoid test_callable(Callable c, Callable2 c2, const Callable2& c2c) { 168f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor int &ir = c(1); 169f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor float &fr = c(1, 3.14159, 17, 42); 170f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor 171f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor c(); // expected-error{{no matching function for call to object of type 'struct Callable'; candidates are:}} 172518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor 173518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor double &dr = c(1.0f); 174518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor 175518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor int &ir2 = c2(); 176518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor int &ir3 = c2(1); 177518fda1d121dcba3ad7276f5e9a94f733f6e5ecdDouglas Gregor double &fr2 = c2c(); 178f9eb905197e44ed5634205512074993f6f40470dDouglas Gregor} 179106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregor 180621b3933e570792810386b891264c78e3bd7b169Douglas Gregortypedef float FLOAT; 181621b3933e570792810386b891264c78e3bd7b169Douglas Gregortypedef int& INTREF; 182621b3933e570792810386b891264c78e3bd7b169Douglas Gregortypedef INTREF Func1(FLOAT, double); 183106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregortypedef float& Func2(int, double); 184106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregor 185106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregorstruct ConvertToFunc { 18654e14c4db764c0636160d26c5bbf491637c83a76John McCall operator Func1*(); // expected-note{{conversion candidate of type 'INTREF (*)(FLOAT, double)'}} 187106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregor operator Func2&(); // expected-note{{conversion candidate of type 'float &(&)(int, double)'}} 1889ebae31a97f862771dc5f6bd4923dd97131fed71Douglas Gregor void operator()(); 189106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregor}; 190106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregor 191106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregorvoid test_funcptr_call(ConvertToFunc ctf) { 192106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregor int &i1 = ctf(1.0f, 2.0); 193106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregor float &f2 = ctf((short int)1, 1.0f); 194106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregor ctf((long int)17, 2.0); // expected-error{{error: call to object of type 'struct ConvertToFunc' is ambiguous; candidates are:}} 1959ebae31a97f862771dc5f6bd4923dd97131fed71Douglas Gregor ctf(); 196106c6eb3f1380bfe243a62d8f0f8bce6a7c8d5c6Douglas Gregor} 1978ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor 1988ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregorstruct HasMember { 1998ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor int m; 2008ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor}; 2018ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor 2028ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregorstruct Arrow1 { 2038ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor HasMember* operator->(); 2048ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor}; 2058ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor 2068ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregorstruct Arrow2 { 2078ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor Arrow1 operator->(); // expected-note{{candidate function}} 2088ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor}; 2098ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor 2108ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregorvoid test_arrow(Arrow1 a1, Arrow2 a2, const Arrow2 a3) { 2118ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor int &i1 = a1->m; 2128ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor int &i2 = a2->m; 213e4c452c4c7b9124fe94a96f559ff077d59cdf996Sebastian Redl a3->m; // expected-error{{no viable overloaded 'operator->'; candidate is}} 2148ba10745f525467e91bbaec21044bf4d9017a988Douglas Gregor} 215e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregor 216e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregorstruct CopyConBase { 217e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregor}; 218e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregor 219e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregorstruct CopyCon : public CopyConBase { 220e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregor CopyCon(const CopyConBase &Base); 221e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregor 222e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregor CopyCon(const CopyConBase *Base) { 223e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregor *this = *Base; 224e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregor } 225e63ef48b76b84e7ffb0a38fbf475ddea5c48adb4Douglas Gregor}; 226fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor 227fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregornamespace N { 228fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor struct X { }; 229fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor} 230fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor 231fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregornamespace M { 232fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor N::X operator+(N::X, N::X); 233fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor} 234fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor 235fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregornamespace M { 236fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor void test_X(N::X x) { 237f680a0fe2dcab32b59fe6fdf71145b5313c40950Douglas Gregor (void)(x + x); 238fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor } 239fa047648b2a5502d7eef117adb4777eb9a63baa6Douglas Gregor} 2408a5ae2401645788144c0ae769a2fb899866801f5Douglas Gregor 2418a5ae2401645788144c0ae769a2fb899866801f5Douglas Gregorstruct AA { bool operator!=(AA&); }; 2428a5ae2401645788144c0ae769a2fb899866801f5Douglas Gregorstruct BB : AA {}; 2438a5ae2401645788144c0ae769a2fb899866801f5Douglas Gregorbool x(BB y, BB z) { return y != z; } 2444a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanian 2454a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanian 2464a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanianstruct AX { 2477a8233a69103a6eeb6602bd4a17fb5d9b7bacaadFariborz Jahanian AX& operator ->(); // expected-note {{declared at}} 2484a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanian int b; 2494a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanian}; 2504a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanian 2514a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanianvoid m() { 2524a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanian AX a; 2534a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanian a->b = 0; // expected-error {{circular pointer delegation detected}} 2544a4e345a8bf749b5462a127ecfb1f90d4a9d6ba7Fariborz Jahanian} 255c4e8321deb2bd83f734a09749460050f40ec51d1John McCall 256c4e8321deb2bd83f734a09749460050f40ec51d1John McCallstruct CircA { 2577a8233a69103a6eeb6602bd4a17fb5d9b7bacaadFariborz Jahanian struct CircB& operator->(); // expected-note {{declared at}} 258c4e8321deb2bd83f734a09749460050f40ec51d1John McCall int val; 259c4e8321deb2bd83f734a09749460050f40ec51d1John McCall}; 260c4e8321deb2bd83f734a09749460050f40ec51d1John McCallstruct CircB { 2617a8233a69103a6eeb6602bd4a17fb5d9b7bacaadFariborz Jahanian struct CircC& operator->(); // expected-note {{declared at}} 262c4e8321deb2bd83f734a09749460050f40ec51d1John McCall}; 263c4e8321deb2bd83f734a09749460050f40ec51d1John McCallstruct CircC { 2647a8233a69103a6eeb6602bd4a17fb5d9b7bacaadFariborz Jahanian struct CircA& operator->(); // expected-note {{declared at}} 265c4e8321deb2bd83f734a09749460050f40ec51d1John McCall}; 266c4e8321deb2bd83f734a09749460050f40ec51d1John McCall 267c4e8321deb2bd83f734a09749460050f40ec51d1John McCallvoid circ() { 268c4e8321deb2bd83f734a09749460050f40ec51d1John McCall CircA a; 269c4e8321deb2bd83f734a09749460050f40ec51d1John McCall a->val = 0; // expected-error {{circular pointer delegation detected}} 270c4e8321deb2bd83f734a09749460050f40ec51d1John McCall} 271