===================================================================
@@ -23252,9 +23252,29 @@ cp_parser_optional_template_keyword (cp_parser *pa
{
if (cp_lexer_next_token_is_keyword (parser->lexer, RID_TEMPLATE))
{
- /* Consume the `template' keyword. */
- cp_lexer_consume_token (parser->lexer);
- return true;
+ /* In C++98 the `template' keyword can only be used within templates;
+ outside templates the parser can always figure out what is a
+ template and what is not. In C++11, per the resolution of DR 468,
+ 'template' is allowed in cases where it is not strictly necessary. */
+ if (!processing_template_decl
+ && pedantic && cxx_dialect == cxx98)
+ {
+ cp_token *token = cp_lexer_peek_token (parser->lexer);
+ error_at (token->location,
+ "in C++98 %<template%> (as a disambiguator) is only "
+ "allowed within templates");
+ /* If this part of the token stream is rescanned, the same
+ error message would be generated. So, we purge the token
+ from the stream. */
+ cp_lexer_purge_token (parser->lexer);
+ return false;
+ }
+ else
+ {
+ /* Consume the `template' keyword. */
+ cp_lexer_consume_token (parser->lexer);
+ return true;
+ }
}
return false;
}
===================================================================
@@ -7,5 +7,5 @@ struct A {
int main ()
{
A a;
- return a.template f (0);
+ return a.template f (0); // { dg-error "template" "" { target c++98 } }
}
===================================================================
@@ -12,4 +12,4 @@ class Q {
template<template<class> class>
class Y {
};
-Q::template X<int> x;
+Q::template X<int> x; // { dg-error "template" "" { target c++98 } }
===================================================================
@@ -7,4 +7,4 @@ struct X
template <int i> struct Y {};
};
-typedef X::template Y<0> y;
+typedef X::template Y<0> y; // { dg-error "template|invalid" "" { target c++98 } }
===================================================================
@@ -15,5 +15,5 @@ void test()
int main()
{
- typename A<double>::template B<int> b;
+ typename A<double>::template B<int> b; // { dg-error "template|expected" "" { target c++98 } }
}
===================================================================
@@ -14,7 +14,7 @@ template <template <class> class TT> struct X
struct C
{
- X<A::template B> x;
+ X<A::template B> x; // { dg-error "template" "" { target c++98 } }
};
int main()