mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2024-12-12 09:41:26 +00:00
4f605aff7f
nested names as id-expressions, using the annot_primary_expr annotation, where possible. This removes some redundant lookups, and also allows us to typo-correct within tentative parsing, and to carry on disambiguating past an identifier which we can determine will fail lookup as both a type and as a non-type, allowing us to disambiguate more declarations (and thus offer improved error recovery for such cases). This also introduces to the parser the notion of a tentatively-declared name, which is an identifier which we *might* have seen a declaration for in a tentative parse (but only if we end up disambiguating the tokens as a declaration). This is necessary to correctly disambiguate cases where a variable is used within its own initializer. llvm-svn: 162159
65 lines
1.1 KiB
C++
65 lines
1.1 KiB
C++
// RUN: %clang_cc1 -fsyntax-only -verify -Wno-unused-comparison %s
|
|
|
|
// PR8439
|
|
class A
|
|
{
|
|
};
|
|
|
|
class B
|
|
{
|
|
public:
|
|
A & m;
|
|
};
|
|
|
|
class Base
|
|
{
|
|
public:
|
|
B &f();
|
|
};
|
|
|
|
class Derived1 : public Base { };
|
|
|
|
class Derived2 : public Base { };
|
|
|
|
class X : public B, public Derived2, public Derived1
|
|
{
|
|
public:
|
|
virtual void g();
|
|
};
|
|
|
|
void X::g()
|
|
{
|
|
m.f<int>(); // expected-error{{no member named 'f' in 'A'}} \
|
|
// expected-error{{expected '(' for function-style cast}} \
|
|
// expected-error{{expected expression}}
|
|
}
|
|
|
|
namespace PR11134 {
|
|
template<typename Derived> class A;
|
|
template<typename Derived> class B : A<Derived> {
|
|
typedef A<Derived> Base;
|
|
using Base::member;
|
|
int member;
|
|
};
|
|
}
|
|
|
|
namespace AddrOfMember {
|
|
struct A { int X; };
|
|
typedef int (A::*P);
|
|
template<typename T> struct S : T {
|
|
void f() {
|
|
P(&T::X) // expected-error {{cannot cast from type 'int *' to member pointer type 'P'}}
|
|
== &A::X;
|
|
}
|
|
};
|
|
|
|
void g() {
|
|
S<A>().f(); // ok, &T::X is 'int (A::*)', not 'int *', even though T is a base class
|
|
}
|
|
|
|
struct B : A { static int X; };
|
|
void h() {
|
|
S<B>().f(); // expected-note {{here}}
|
|
}
|
|
}
|