2014-08-14 Paolo Carlini <paolo.carlini@oracle.com>
* parser.c (cp_parser_init_declarator): Remove redundant check of
decl_specifiers->type.
/gcc/testsuite
2014-08-14 Paolo Carlini <paolo.carlini@oracle.com>
* g++.dg/cpp0x/alias-decl-4.C: Adjust for parser change.
* g++.dg/cpp0x/decltype2.C: Likewise.
* g++.dg/cpp0x/decltype3.C: Likewise.
* g++.dg/cpp0x/pr60249.C: Likewise.
* g++.dg/cpp0x/variadic-ex10.C: Likewise.
* g++.dg/cpp0x/variadic-ex14.C: Likewise.
* g++.dg/cpp0x/variadic2.C: Likewise.
* g++.dg/cpp0x/variadic74.C: Likewise.
* g++.dg/parse/error10.C: Likewise.
* g++.dg/parse/error15.C: Likewise.
* g++.dg/parse/error2.C: Likewise.
* g++.dg/template/crash106.C: Likewise.
* g++.dg/template/crash89.C: Likewise.
* g++.dg/template/nontype7.C: Likewise.
* g++.dg/template/void3.C: Likewise.
* g++.dg/template/void7.C: Likewise.
/libstdc++-v3
2014-08-14 Paolo Carlini <paolo.carlini@oracle.com>
* testsuite/26_numerics/random/linear_congruential_engine/
requirements/non_uint_neg.cc: Adjust for parser change.
* testsuite/tr1/5_numerical_facilities/random/linear_congruential/
requirements/non_uint_neg.cc: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213952
138bc75d-0d04-0410-961f-
82ee72b054a4
+2014-08-14 Paolo Carlini <paolo.carlini@oracle.com>
+
+ * parser.c (cp_parser_init_declarator): Remove redundant check of
+ decl_specifiers->type.
+
2014-08-13 Jason Merrill <jason@redhat.com>
* call.c (build_x_va_arg): Support passing non-POD through ....
2014-08-13 Andrew Sutton <andrew.n.sutton@gmail.com>
- * pt.c (lookup_template_variable): Make dependent variable templates
+ * pt.c (lookup_template_variable): Make dependent variable templates
have unknown type.
2014-08-13 Paolo Carlini <paolo.carlini@oracle.com>
possibly be looking at any other construct. */
cp_parser_commit_to_tentative_parse (parser);
- /* If the decl specifiers were bad, issue an error now that we're
- sure this was intended to be a declarator. Then continue
- declaring the variable(s), as int, to try to cut down on further
- errors. */
- if (decl_specifiers->any_specifiers_p
- && decl_specifiers->type == error_mark_node)
- {
- cp_parser_error (parser, "invalid type in declaration");
- decl_specifiers->type = integer_type_node;
- }
-
/* Enter the newly declared entry in the symbol table. If we're
processing a declaration in a class-specifier, we wait until
after processing the initializer. */
+2014-08-14 Paolo Carlini <paolo.carlini@oracle.com>
+
+ * g++.dg/cpp0x/alias-decl-4.C: Adjust for parser change.
+ * g++.dg/cpp0x/decltype2.C: Likewise.
+ * g++.dg/cpp0x/decltype3.C: Likewise.
+ * g++.dg/cpp0x/pr60249.C: Likewise.
+ * g++.dg/cpp0x/variadic-ex10.C: Likewise.
+ * g++.dg/cpp0x/variadic-ex14.C: Likewise.
+ * g++.dg/cpp0x/variadic2.C: Likewise.
+ * g++.dg/cpp0x/variadic74.C: Likewise.
+ * g++.dg/parse/error10.C: Likewise.
+ * g++.dg/parse/error15.C: Likewise.
+ * g++.dg/parse/error2.C: Likewise.
+ * g++.dg/template/crash106.C: Likewise.
+ * g++.dg/template/crash89.C: Likewise.
+ * g++.dg/template/nontype7.C: Likewise.
+ * g++.dg/template/void3.C: Likewise.
+ * g++.dg/template/void7.C: Likewise.
+
2014-08-14 Richard Biener <rguenther@suse.de>
PR tree-optimization/62090
template <class T> struct A {
typedef B<T> U;
};
-B<short> b; // { dg-error "invalid type" }
+B<short> b;
CHECK_DECLTYPE(decltype(foo), int(char));
decltype(bar) z; // { dg-error "overload" "overload" }
-// { dg-error "invalid type" "invalid" { target *-*-* } 47 }
CHECK_DECLTYPE(decltype(&foo), int(*)(char));
CHECK_DECLTYPE(decltype(*&foo), int(&)(char));
CHECK_DECLTYPE(decltype(aa.*&A::a), int&);
decltype(aa.*&A::b) zz; // { dg-error "cannot create pointer to reference member" "cannot" }
-// { dg-error "invalid type" "invalid type" { target *-*-* } 57 }
+
CHECK_DECLTYPE(decltype(caa.*&A::a), const int&);
class X {
// { dg-do compile { target c++11 } }
decltype(""_) x; // { dg-error "unable to find string literal operator" }
-
-// { dg-error "invalid type in declaration before" "invalid" { target *-*-* } 4 }
Tuple<int, float> t2; // Types contains two arguments: int and float
Tuple<0> error; // { dg-error "mismatch" "mismatch" }
// { dg-message "expected a type" "expected a type" { target *-*-* } 7 }
-// { dg-error "in declaration" "in declaration" { target *-*-* } 7 }
X<A> xA; // okay
X<B> xB; // { dg-error "mismatch" "mismatch" }
// { dg-message "expected a template" "expected" { target *-*-* } 11 }
-// { dg-error "invalid type" "invalid" { target *-*-* } 11 }
X<C> xC; // { dg-error "mismatch" "mismatch" }
-// { dg-message "expected a template" "expected" { target *-*-* } 14 }
-// { dg-error "invalid type" "invalid" { target *-*-* } 14 }
+// { dg-message "expected a template" "expected" { target *-*-* } 13 }
Y<A> yA;
Y<B> yB;
Y<C> yC; // okay
struct two_or_more {}; // { dg-error "provided for" }
typedef two_or_more<int> bad; // { dg-error "2 or more" "2 or more" }
-// { dg-error "invalid type" "invalid type" { target *-*-* } 11 }
void f()
{
B<int, float>::X<&i, &f> banana1;
A<int*, float*>::X<&i> apple2; // { dg-error "wrong number of template arguments" "wrong number" }
-// { dg-error "invalid type" "invalid" { target *-*-* } 22 }
A<int*, float*>::X<&i, &f, &f> apple3; // { dg-error "wrong number of template arguments" "wrong number" }
-// { dg-error "invalid type" "invalid" { target *-*-* } 24 }
A<int, float> apple4;
// { dg-prune-output "provided for" }
enum typename A<T>::E e4;
}
-// Here, columns nums are not very accurate either. Still acceptable though
-// { dg-error "30:invalid type in declaration before ';' token" "invalid" { target *-*-* } 14 }
-// { dg-error "30:two or more data types in declaration of 'e4'" "2 or more" { target *-*-* } 14 }
+// { dg-error "28:two or more data types in declaration of 'e4'" "2 or more" { target *-*-* } 14 }
N::K f6; // { dg-error "4:'K' in namespace 'N' does not name a type" }
typename N::A f7;
// { dg-error "13:invalid use of template-name 'N::A' without an argument list" "13" { target *-*-* } 17 }
-// { dg-error "17:invalid type in declaration before ';' token" "17" { target *-*-* } 17 }
struct B
{
N::C::INVALID f4; // { dg-error "9:'INVALID' in 'struct N::C' does not name a type" }
N::K f6; // { dg-error "6:'K' in namespace 'N' does not name a type" }
typename N::A f7;
-// { dg-error "15:invalid use of template-name 'N::A' without an argument list" "15" { target *-*-* } 27 }
+// { dg-error "15:invalid use of template-name 'N::A' without an argument list" "15" { target *-*-* } 26 }
};
template <int>
// { dg-error "10:'g' cannot appear in a constant-expression" "g" { target *-*-* } 11 }
// { dg-error "11:a function call cannot appear in a constant-expression" "call" { target *-*-* } 11 }
// { dg-error "12:template argument 1 is invalid" "invalid template argument" { target *-*-* } 11 }
-// { dg-error "15:invalid type in declaration before ';' token" "invalid type" { target *-*-* } 11 }
template<T N = 0, void (A::*)() = &A::foo<N> > struct B {}; // { dg-error "type|declared" }
-B<> b; // { dg-error "type|declaration" }
+B<> b; // { dg-message "non-type" }
// { dg-prune-output "could not convert" }
typedef A<T> B;
};
-A<int> a; // { dg-error "declaration" }
-
-// { dg-prune-output "template argument 2 is invalid" }
+A<int> a; // { dg-error "template argument 2 is invalid" }
X<int,"Studebaker"> x1; // { dg-error "string literal" }
X<int, p> x2;
-
-// { dg-bogus "" "additional errors" { xfail *-*-* } 11 }
-
//PR c++/28637
template<void> struct A {}; // { dg-error "not a valid type" }
-A<0> a; // { dg-error "type" }
+A<0> a; // { dg-message "non-type" }
static int i;
};
-A<0> a; // { dg-error "invalid type|not a valid type" }
+A<0> a; // { dg-message "non-type" }
+2014-08-14 Paolo Carlini <paolo.carlini@oracle.com>
+
+ * testsuite/26_numerics/random/linear_congruential_engine/
+ requirements/non_uint_neg.cc: Adjust for parser change.
+ * testsuite/tr1/5_numerical_facilities/random/linear_congruential/
+ requirements/non_uint_neg.cc: Likewise.
+
2014-08-13 Jonathan Wakely <jwakely@redhat.com>
PR libstdc++/61841
// { dg-do compile }
// { dg-options "-std=c++0x" }
// { dg-require-cstdint "" }
-// { dg-error "not a valid type" "" { target *-*-* } 32 }
-// { dg-error "invalid type" "" { target *-*-* } 32 }
+// { dg-error "not a valid type" "" { target *-*-* } 31 }
// 26.4.3.1 class template linear_congruential_engine [rand.eng.lcong]
// 26.4.2.2 Concept RandomNumberEngine [rand.concept.eng]
#include <random>
std::linear_congruential_engine<double, 48271, 0, 2147483647> x;
-
// { dg-do compile }
// { dg-options "-D_GLIBCXX_CONCEPT_CHECKS" }
-// { dg-error "not a valid type" "" { target *-*-* } 30 }
-// { dg-error "invalid type" "" { target *-*-* } 30 }
+// { dg-error "not a valid type" "" { target *-*-* } 29 }
// 5.1.4.1 class template linear_congruential [tr.rand.eng.lcong]
// 5.1.4.1 [4]
#include <tr1/random>
std::tr1::linear_congruential<double, 48271, 0, 2147483647> x;
-