OSDN Git Service

gcc/testsuite/ChangeLog
authorfabien <fabien@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 28 Dec 2011 19:53:14 +0000 (19:53 +0000)
committerfabien <fabien@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 28 Dec 2011 19:53:14 +0000 (19:53 +0000)
2011-12-28  Fabien Chene  <fabien@gcc.gnu.org>

PR c++/23211
* g++.dg/template/using18.C: New.
* g++.dg/template/using19.C: New.
* g++.dg/template/nested3.C: Remove dg-message at instantiation.
* g++.dg/template/crash13.C: Likewise.

gcc/cp/ChangeLog

2011-12-28  Fabien Chene  <fabien@gcc.gnu.org>

PR c++/23211
* name-lookup.c (do_class_using_decl): Use dependent_scope_p
instead of dependent_type_p, to check that a non-dependent
nested-name-specifier of a class-scope using declaration refers to
a base, even if the current scope is dependent.
* parser.c (cp_parser_using_declaration): Set
USING_DECL_TYPENAME_P to 1 if the DECL is not null. Re-indent a
'else' close to the prior modification.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182711 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/cp/ChangeLog
gcc/cp/name-lookup.c
gcc/cp/parser.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/template/crash13.C
gcc/testsuite/g++.dg/template/nested3.C
gcc/testsuite/g++.dg/template/using18.C [new file with mode: 0644]
gcc/testsuite/g++.dg/template/using19.C [new file with mode: 0644]

index b025fa7..309738c 100644 (file)
@@ -1,3 +1,14 @@
+2011-12-27  Fabien ChĂȘne  <fabien@gcc.gnu.org>
+
+       PR c++/23211
+       * name-lookup.c (do_class_using_decl): Use dependent_scope_p
+       instead of dependent_type_p, to check that a non-dependent
+       nested-name-specifier of a class-scope using declaration refers to
+       a base, even if the current scope is dependent.
+       * parser.c (cp_parser_using_declaration): Set
+       USING_DECL_TYPENAME_P to 1 if the DECL is not null. Re-indent a
+       'else' close to the prior modification.
+
 2011-12-23  Jason Merrill  <jason@redhat.com>
 
        PR c++/51507
index ceecdef..5734055 100644 (file)
@@ -3217,7 +3217,7 @@ do_class_using_decl (tree scope, tree name)
       return NULL_TREE;
     }
 
-  scope_dependent_p = dependent_type_p (scope);
+  scope_dependent_p = dependent_scope_p (scope);
   name_dependent_p = (scope_dependent_p
                      || (IDENTIFIER_TYPENAME_P (name)
                          && dependent_type_p (TREE_TYPE (name))));
@@ -3242,9 +3242,9 @@ do_class_using_decl (tree scope, tree name)
 
      In general, we cannot check this constraint in a template because
      we do not know the entire set of base classes of the current
-     class type.  However, if all of the base classes are
-     non-dependent, then we can avoid delaying the check until
-     instantiation.  */
+     class type. Morover, if SCOPE is dependent, it might match a
+     non-dependent base.  */
+
   if (!scope_dependent_p)
     {
       base_kind b_kind;
@@ -3270,7 +3270,7 @@ do_class_using_decl (tree scope, tree name)
          if (BASELINK_P (decl))
            decl = BASELINK_FUNCTIONS (decl);
        }
-   }
+    }
 
   value = build_lang_decl (USING_DECL, name, NULL_TREE);
   USING_DECL_DECLS (value) = decl;
index 51d04d4..d4947e7 100644 (file)
@@ -14971,12 +14971,12 @@ cp_parser_using_declaration (cp_parser* parser,
          /* Create the USING_DECL.  */
          decl = do_class_using_decl (parser->scope, identifier);
 
-         if (typename_p)
+         if (decl && typename_p)
            USING_DECL_TYPENAME_P (decl) = 1;
 
          if (check_for_bare_parameter_packs (decl))
             return false;
-          else
+         else
            /* Add it to the list of members in this class.  */
            finish_member_declaration (decl);
        }
index aba19e9..732c7d1 100644 (file)
@@ -1,3 +1,11 @@
+2011-12-27  Fabien ChĂȘne  <fabien@gcc.gnu.org>
+
+       PR c++/23211
+       * g++.dg/template/using18.C: New.
+       * g++.dg/template/using19.C: New.
+       * g++.dg/template/nested3.C: Remove dg-message at instantiation.
+       * g++.dg/template/crash13.C: Likewise.
+
 2011-12-28  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        PR target/51623
index 917ddf0..e8e0594 100644 (file)
@@ -15,4 +15,4 @@ template <typename T> struct C
     X::Y;                      // { dg-error "not a base type" }
 };
 
-C<void> c;                     // { dg-message "required" }
+C<void> c;
index 4544cc9..5dcbf19 100644 (file)
@@ -24,7 +24,7 @@ class B {
 
 
 int main() {
-  B<char> objB; // { dg-message "required" }
+  B<char> objB;
 
   return 0;
 }
diff --git a/gcc/testsuite/g++.dg/template/using18.C b/gcc/testsuite/g++.dg/template/using18.C
new file mode 100644 (file)
index 0000000..b4ef6df
--- /dev/null
@@ -0,0 +1,31 @@
+// PR c++/23211
+// { dg-do compile }
+
+template<class T>
+struct foo 
+{
+  typedef int jtype;
+  struct bar 
+  {
+    using typename foo<T>::jtype; // { dg-error "not a base type" }
+    using foo<T>::jtype; // { dg-error "not a base type" }
+  };
+};
+
+template <class T>
+struct A : T
+{
+    using T::i;
+    using typename T::type;
+};
+
+struct B1 {};
+template <class T> struct B2 {};
+
+template <class T>
+struct C : B1, B2<T>
+{
+    using B1::x; // { dg-error "no member" }
+    using B2<T>::y;
+    using typename B2<T>::type;
+};
diff --git a/gcc/testsuite/g++.dg/template/using19.C b/gcc/testsuite/g++.dg/template/using19.C
new file mode 100644 (file)
index 0000000..dc89f92
--- /dev/null
@@ -0,0 +1,12 @@
+// PR c++/23211
+// { dg-do compile }
+
+struct A { int x; };
+
+template <class T>
+struct B: A
+{
+  using T::x;
+};
+
+B<A> b;