diff --git a/gcc/cp/parser.cc b/gcc/cp/parser.cc index 28ebf2beb60a47463ead7f587a1e5e6427b8bc6b..a722641be347605dcf38126b8b59b2c6ff335dac 100644 --- a/gcc/cp/parser.cc +++ b/gcc/cp/parser.cc @@ -13232,18 +13232,22 @@ cp_parser_expression_statement (cp_parser* parser, tree in_statement_expr) if (cp_lexer_next_token_is_not (parser->lexer, CPP_SEMICOLON) && !cp_parser_uncommitted_to_tentative_parse_p (parser)) { + bool has_errored = true; if (TREE_CODE (statement) == SCOPE_REF) error_at (token->location, "need %<typename%> before %qE because " "%qT is a dependent scope", statement, TREE_OPERAND (statement, 0)); else if (is_overloaded_fn (statement) && DECL_CONSTRUCTOR_P (get_first_fn (statement))) + /* A::A a; */ + error_at (token->location, "%qE names the constructor, not the type", + get_first_fn (statement)); + else + has_errored = false; + if (has_errored) { - /* A::A a; */ - tree fn = get_first_fn (statement); - error_at (token->location, - "%<%T::%D%> names the constructor, not the type", - DECL_CONTEXT (fn), DECL_NAME (fn)); + cp_parser_skip_to_end_of_statement (parser); + return error_mark_node; } } diff --git a/gcc/testsuite/g++.dg/diagnostic/pr105483.C b/gcc/testsuite/g++.dg/diagnostic/pr105483.C new file mode 100644 index 0000000000000000000000000000000000000000..b935bacea11bd7e3d7766ec128d53692d5fd6ec8 --- /dev/null +++ b/gcc/testsuite/g++.dg/diagnostic/pr105483.C @@ -0,0 +1,7 @@ +// PR c++/105483 +// { dg-do compile } + +struct X { }; +void g () { + X::X x; // { dg-error "'X::X' names the constructor" } +} diff --git a/gcc/testsuite/g++.dg/parse/error36.C b/gcc/testsuite/g++.dg/parse/error36.C index bf57a6b68ce8d43bdd31cba18008360c5d42ee40..73b550e3f2adfdf7abca2fb26c46ffd10137aad7 100644 --- a/gcc/testsuite/g++.dg/parse/error36.C +++ b/gcc/testsuite/g++.dg/parse/error36.C @@ -12,7 +12,7 @@ void f(T t) { typedef A<T>::foo type; // { dg-error "typename" } A<T>::bar b; // { dg-error "typename" "typename" } -} // { dg-error "expected ';'" "expected" { target *-*-* } .-1 } +} // PR c++/36353 template <class T> struct B @@ -20,7 +20,7 @@ template <class T> struct B void f() { A<T>::baz z; // { dg-error "typename" "typename" } - } // { dg-error "expected ';'" "expected" { target *-*-* } .-1 } + } }; // PR c++/40738 diff --git a/gcc/testsuite/g++.dg/tc1/dr147.C b/gcc/testsuite/g++.dg/tc1/dr147.C index 6b656491e816495315bea8a961fd7b8dc308e587..ced18d1879cc360fda567dddbe66fa6366f807c3 100644 --- a/gcc/testsuite/g++.dg/tc1/dr147.C +++ b/gcc/testsuite/g++.dg/tc1/dr147.C @@ -21,7 +21,7 @@ void A::f() void f() { A::A a; // { dg-error "constructor" "constructor" } -} // { dg-error "" "error cascade" { target *-*-* } .-1 } error cascade +} } namespace N2 { diff --git a/gcc/testsuite/g++.old-deja/g++.other/typename1.C b/gcc/testsuite/g++.old-deja/g++.other/typename1.C index 4e1a4a834ddd758ba9be8ac4280449a04b136353..0f0f68b1cee2b5e0ba041073dbdb8e3e349f09fb 100644 --- a/gcc/testsuite/g++.old-deja/g++.other/typename1.C +++ b/gcc/testsuite/g++.old-deja/g++.other/typename1.C @@ -14,4 +14,4 @@ template<class T> void f() { Vector<T>::iterator i = 0; // { dg-error "typename" "typename" } missing typename -} // { dg-error "expected" "expected" { target *-*-* } .-1 } +}