member-pointer.cpp revision 9e5e4aaf8b8835b552819d68d29b6d94115d8a0b
1f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redl// RUN: clang -fsyntax-only -verify %s 2f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redl 3f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlstruct A {}; 4f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlenum B { Dummy }; 5f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlnamespace C {} 64433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redlstruct D : A {}; 79e5e4aaf8b8835b552819d68d29b6d94115d8a0bSebastian Redlstruct E : A {}; 89e5e4aaf8b8835b552819d68d29b6d94115d8a0bSebastian Redlstruct F : D, E {}; 99e5e4aaf8b8835b552819d68d29b6d94115d8a0bSebastian Redlstruct G : virtual D {}; 10f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redl 11f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlint A::*pdi1; 12f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlint (::A::*pdi2); 13f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlint (A::*pfi)(int); 14f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redl 15f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlint B::*pbi; // expected-error {{expected a class or namespace}} 16f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlint C::*pci; // expected-error {{'pci' does not point into a class}} 17f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlvoid A::*pdv; // expected-error {{'pdv' declared as a member pointer to void}} 18f30208ad5b334e93582e846a2a0c92f38a607b8aSebastian Redlint& A::*pdr; // expected-error {{'pdr' declared as a pointer to a reference}} 198edef7c31d27fc9d5d163660702a8a7730a0d19fSebastian Redl 208edef7c31d27fc9d5d163660702a8a7730a0d19fSebastian Redlvoid f() { 218edef7c31d27fc9d5d163660702a8a7730a0d19fSebastian Redl // This requires tentative parsing. 228edef7c31d27fc9d5d163660702a8a7730a0d19fSebastian Redl int (A::*pf)(int, int); 234433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl 244433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl // Implicit conversion to bool. 254433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl bool b = pdi1; 264433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl b = pfi; 274433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl 284433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl // Conversion from null pointer constant. 294433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl pf = 0; 304433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl pf = __null; 314433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl 324433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl // Conversion to member of derived. 334433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl int D::*pdid = pdi1; 344433aafbc2591b82e4ea2fc39c723b21d2497f4dSebastian Redl pdid = pdi2; 359e5e4aaf8b8835b552819d68d29b6d94115d8a0bSebastian Redl 369e5e4aaf8b8835b552819d68d29b6d94115d8a0bSebastian Redl // Fail conversion due to ambiguity and virtuality. 379e5e4aaf8b8835b552819d68d29b6d94115d8a0bSebastian Redl int F::*pdif = pdi1; // expected-error {{ambiguous conversion from pointer to member of base class 'struct A' to pointer to member of derived class 'struct F'}} expected-error {{incompatible type}} 389e5e4aaf8b8835b552819d68d29b6d94115d8a0bSebastian Redl int G::*pdig = pdi1; // expected-error {{conversion from pointer to member of class 'struct A' to pointer to member of class 'struct G' via virtual base 'struct D' is not allowed}} expected-error {{incompatible type}} 398edef7c31d27fc9d5d163660702a8a7730a0d19fSebastian Redl} 40