================
@@ -484,16 +484,19 @@ namespace N4 {
template<typename T>
struct A {
void not_instantiated(A a, A<T> b, T c) {
- a->x;
- b->x;
+ a->x; // expected-error {{member reference type 'A<T>' is not a pointer;
did you mean to use '.'?}}
+ b->x; // expected-error {{member reference type 'A<T>' is not a pointer;
did you mean to use '.'?}}
c->x;
}
void instantiated(A a, A<T> b, T c) {
- a->x; // expected-error {{member reference type 'A<int>' is not a
pointer; did you mean to use '.'?}}
- // expected-error@-1 {{no member named 'x' in 'N4::A<int>'}}
- b->x; // expected-error {{member reference type 'A<int>' is not a
pointer; did you mean to use '.'?}}
- // expected-error@-1 {{no member named 'x' in 'N4::A<int>'}}
+ // FIXME: We should only emit a single diagnostic suggesting to use '.'!
----------------
erichkeane wrote:
This is unfortunate, it looks like we're having this problem diagnosing in both
phases here, and can get worse with partial instantiations. Typically we'd
want to solve this by replacing the expression with a RecoveryExpr or something
to suppress it in the instantiated version, can you look into something like
that?
https://github.com/llvm/llvm-project/pull/109422
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
