OSDN Git Service

PR c++/60046
authorjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 19 Feb 2014 19:59:09 +0000 (19:59 +0000)
committerjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 19 Feb 2014 19:59:09 +0000 (19:59 +0000)
* pt.c (maybe_instantiate_noexcept): Don't instantiate exception
spec from template context.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@207922 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/cp/ChangeLog
gcc/cp/pt.c
gcc/testsuite/g++.dg/cpp0x/noexcept22.C [new file with mode: 0644]

index d32d4c4..5798bbc 100644 (file)
@@ -1,3 +1,9 @@
+2014-02-19  Jason Merrill  <jason@redhat.com>
+
+       PR c++/60046
+       * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
+       spec from template context.
+
 2014-01-31  Jason Merrill  <jason@redhat.com>
 
        PR c++/57043
index ed33198..f2b2f9b 100644 (file)
@@ -18093,6 +18093,10 @@ maybe_instantiate_noexcept (tree fn)
 {
   tree fntype, spec, noex, clone;
 
+  /* Don't instantiate a noexcept-specification from template context.  */
+  if (processing_template_decl)
+    return;
+
   if (DECL_CLONED_FUNCTION_P (fn))
     fn = DECL_CLONED_FUNCTION (fn);
   fntype = TREE_TYPE (fn);
diff --git a/gcc/testsuite/g++.dg/cpp0x/noexcept22.C b/gcc/testsuite/g++.dg/cpp0x/noexcept22.C
new file mode 100644 (file)
index 0000000..7aab0f4
--- /dev/null
@@ -0,0 +1,21 @@
+// PR c++/60046
+// { dg-require-effective-target c++11 }
+
+constexpr bool foo () { return noexcept (true); }
+template <typename T>
+struct V
+{
+  void bar (V &) noexcept (foo ()) {}
+};
+template <typename T>
+struct W : public V <int>
+{
+  void bar (W &x) { V <int>::bar (x); }
+};
+
+int
+main ()
+{
+  W <int> a, b;
+  a.bar (b);
+}